- Is there any way to leverage the type system to invalidate an already valid type? https://wiki.haskell.org/Phantom_type 22 comments haskell
Linking pages
- Advanced Types in Elm - Phantom Types | by Charlie Koster | Medium https://medium.com/@ckoster22/advanced-types-in-elm-phantom-types-808044c5946d 22 comments
- Introduction to Singletons (Part 1) · in Code https://blog.jle.im/entry/introduction-to-singletons-1.html 14 comments
- Type-Safe HTML in Swift http://www.fewbutripe.com/swift/html/dsl/2017/06/22/type-safe-html-in-swift.html 10 comments
- jml :: Jonathan Lange – SPAKE2 in Haskell: How Haskell Helped https://jml.io/2017/10/spake2-how-haskell-helped.html 5 comments
- vittorio romeo's website https://vittorioromeo.info/index/blog/cppcon2016_trip_report.html 3 comments
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 4. Programming with Type Variables https://rpeszek.github.io/posts/2022-01-09-ts-types-part4.html 3 comments
- A follow up of the study of 4 Money class designs: why not having currencies as type parameters? – Deque https://deque.blog/2017/08/22/a-follow-up-of-the-study-of-4-money-class-designs-why-not-having-currencies-as-type-parameters/ 3 comments
- GitHub - chemouna/HaskellResources: Compilation of useful resources for learning Haskell https://github.com/chemouna/haskellresources 2 comments
- Intro to type-level programming in Haskell - Part 1 · Matija http://matija.me/2020/07/04/haskell-type-lvl-programming-intro/ 1 comment
- Idris dependent typing challenge: Bowling Kata – Deque https://deque.blog/2017/07/01/idris-bowling-kata/ 0 comments
- Phantom types with Flow. Adapted from “Phantom type” Haskell… | by gcanti | Medium https://medium.com/@gcanti/phantom-types-with-flow-828aff73232b#.f145m4re1 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:wiki.haskell.org
Search title: Phantom type - HaskellWiki
See how to search.