3 ms·
A good use case for Haskell is to generate C code in a way that make it easier to assess its safety. See e.g. http://smaccmpilot.org/languages/ivory-concepts.ht
by thu 12y ago
A good use case for Haskell is to generate C code in a way that make it easier to assess its safety. See e.g. http://smaccmpilot.org/languages/ivory-concepts.html http://smaccmpilot.org/languages/ivory-concepts.html or Galois' work.