- Practical Dependent Types in Haskell 2 -- Existential Neural Networks and Types at Runtime https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html 8 comments haskell
Linking pages
Linked pages
- reddit.com: Anmelden http://reddit.com/submit 54 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
- Introducing the Hamilton library · in Code https://blog.jle.im/entry/introducing-the-hamilton-library.htm 14 comments
- Streaming Huffman Compression in Haskell (Part 2: Binary and Searches) · in Code http://blog.jle.im/entry/streaming-huffman-compression-in-haskell-part-2-binary 13 comments
- 24 Days of GHC Extensions: Type Families https://ocharles.org.uk/blog/posts/2014-12-12-type-families.html 11 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:blog.jle.im
Search title: Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime · in Code
See how to search.