You could use Haskell's type system to make it type safe. In fact Galois have do... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

PaulAJ on Dec 11, 2014 | parent | context | favorite | on: An ASM Monad (2013)

You could use Haskell's type system to make it type safe. In fact Galois have done pretty much that in Ivory http://ivorylang.org/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact