Hacker News
- Type-safe vector addition with dependent types https://www.chrisstucchio.com/blog/2014/type_safe_vector_addition_with_dependent_types.html 6 comments
Linked pages
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- Redirect https://danielwestheide.com/blog/2013/02/13/the-neophytes-guide-to-scala-part-13-path-dependent-types.html 0 comments
- GitHub - scalanlp/breeze: Breeze is a numerical processing library for Scala. https://github.com/scalanlp/breeze 0 comments
Related searches:
Search whole site: site:www.chrisstucchio.com
Search title: Type-safe vector addition with Dependent Types - Chris Stucchio
See how to search.