- Reasons for compiler engineers to never settle for the status quo https://doma.dev/blog/innovation-propagation/ 5 comments compilers
- Go is inches away from being the most scalable language! https://doma.dev/blog/innovation-propagation/#go-and-expression-problem-test 17 comments golang
Linked pages
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Why type systems matter https://doma.dev/blog/why-type-systems-matter/ 193 comments
- Typelevel | Higher-kinded types: the difference between giving up, and moving forward http://typelevel.org/blog/2016/08/21/hkts-moving-forward.html 88 comments
- Tagless-Final Style http://okmij.org/ftp/tagless-final/ 39 comments
- Type Parameters Proposal https://go.googlesource.com/proposal/+/refs/heads/master/design/43651-type-parameters.md#no-way-to-require-pointer-methods 15 comments
- Null References: The Billion Dollar Mistake - Tony Hoare - YouTube https://www.youtube.com/watch?v=ybrQvs4x0Ps 0 comments
Related searches:
Search whole site: site:doma.dev
Search title: Type system innovation propagation
See how to search.