- Today, I found this cool library (singletons) reached v1.0 ! https://hackage.haskell.org/package/singletons 6 comments haskell
Linking pages
- Parse, don’t validate https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/ 1161 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 227 comments
- Writing a Screencast Video Editor in Haskell | Oskar Wickström https://wickstrom.tech/programming/2018/10/26/writing-a-screencast-video-editor-in-haskell.html 68 comments
- Type Tac Toe: Advanced Type Safety http://chrispenner.ca/posts/type-tac-toe 57 comments
- Verify your Typeclass Instances in Haskell Today! · in Code https://blog.jle.im/entry/verified-instances-in-haskell.html 43 comments
- An introduction to typeclass metaprogramming http://lexi-lambda.github.io/blog/2021/03/25/an-introduction-to-typeclass-metaprogramming/ 42 comments
- Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html 32 comments
- What's new with GHC generics in 8.0 - Ryan Scott http://ryanglscott.github.io/2016/05/12/whats-new-with-ghc-generics-in-80/ 19 comments
- Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments
- Introduction to Singletons (Part 1) · in Code https://blog.jle.im/entry/introduction-to-singletons-1.html 14 comments
- Haskell for Coq programmers : ezyang’s blog http://blog.ezyang.com/2014/03/haskell-for-coq-programmers/ 13 comments
- Dimensions and Haskell: Singletons in Action https://serokell.io/blog/dimensions-haskell-singletons 11 comments
- Relational Algebra with Fancy Types | Hey There Buddo! http://www.philipzucker.com/relational-algebra-with-fancy-types/ 9 comments
- Parsing Typed eDSL https://serokell.io/blog/parsing-typed-edsl 9 comments
- Abusing Haskell dependent types to make Redis queues safer | by Tebello M. Thejane | Medium https://medium.com/@zyxoas/abusing-haskell-dependent-types-to-make-redis-queues-safer-cc31db943b6c 8 comments
- Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime · in Code https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments
- Strongly-typed System F in GHC https://www.cis.upenn.edu/~plclub/blog/2020-06-26-Strongly-typed-System-F/ 7 comments
- Fixed-Length Vector Types in Haskell (an Update for 2017) · in Code https://blog.jle.im/entry/fixed-length-vector-types-in-haskell.html 5 comments
- Proving Addition is Commutative in Haskell using Singletons | Hey There Buddo! http://www.philipzucker.com/proving-addition-is-commutative-in-haskell-using-singletons/ 4 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:hackage.haskell.org
Search title: singletons: Basic singleton types and definitions
See how to search.