chrisstucchio.com/blog/2014/type_safe_vector_addition_with_dependent_type...

The two sides of my programming world have long suffered a disconnect. When I build a robust low latency system, I typically write it in a language like Scala. I make great use of type safety to reduce the number of errors I've made. On the other hand, when ...


Comments (0)

Sign in to post comments.