Hacker News
Lobsters
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 14 comments haskell , plt
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 3 comments programming
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 122 comments haskell
Linking pages
Linked pages
- Dynamic Languages are Static Languages | Existential Type https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ 726 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- Things that amuse me https://augustss.blogspot.com/2011/05/more-points-for-lazy-evaluation-in.html 59 comments
- The Go Programming Language Specification - The Go Programming Language https://golang.org/ref/spec#Assignability 46 comments
- thesis/thesis.pdf at master · goldfirere/thesis · GitHub https://github.com/goldfirere/thesis/blob/master/built/thesis.pdf 19 comments
- singletons: Basic singleton types and definitions https://hackage.haskell.org/package/singletons 6 comments
- Serokell Shop https://shop.serokell.io 1 comment
Related searches:
Search whole site: site:serokell.io
Search title: Why Dependent Haskell is the Future of Software Development
See how to search.