[<<][rtl][>>][..]
Thu Jul 19 22:02:48 EDT 2018

Bit sizes as types

It's probably good to leave SType at the value level.  It allows to
grow the language slowly.  But at the same time, evaluate DataKinds to
allow "restricted phantom types".

https://lexi-lambda.github.io/blog/2016/06/12/four-months-with-haskell/



[Reply][About]
[<<][rtl][>>][..]