Hacker News
Lobsters
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 29 comments haskell
Linking pages
- 11 Companies That Use Haskell in Production https://serokell.io/blog/top-software-written-in-haskell 280 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 227 comments
- Developing GHC for a Living. Interview with V. Zavialov. https://serokell.io/blog/developing-ghc-for-a-living 63 comments
- Type system innovation propagation https://doma.dev/blog/innovation-propagation/ 23 comments
- Type Witnesses in Haskell https://serokell.io/blog/haskell-type-level-witness 18 comments
- A Few Haskell Highlights: Top Haskell Resources of 2019 https://serokell.io/blog/haskell-highlights-2019?amp%3Butm_campaign=haskell_highlights_initial_post&%3Butm_medium=social 17 comments
- How to Build a Company: Interview with Arseniy Seroka https://serokell.io/blog/haskell-at-200-mph 5 comments
- Dimensions and Haskell: Introduction https://serokell.io/blog/dimensions-and-haskell-introduction 0 comments
- History of the Haskell Programming Language https://serokell.io/blog/haskell-history 0 comments
- A Few Haskell Highlights: Top Haskell Resources of 2019 https://serokell.io/blog/haskell-highlights-2019 0 comments
- How to Build a Company: Interview with Arseniy Seroka | by Serokell | Medium https://medium.com/@Serokell/how-to-build-a-company-interview-with-arseniy-seroka-e0cc109a1796 0 comments
Linked pages
- Dynamic Languages are Static Languages | Existential Type https://existentialtype.wordpress.com/2011/03/19/dynamic-languages-are-static-languages/ 726 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
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:serokell.io
Search title: Why Dependent Haskell is the Future of Software Development
See how to search.