nrioux

8 ms·

1. 1.▲
   by nrioux 4y ago

   You asked for an example of Haskell influencing languages other than Idris. Type classes are a pretty clear example. I don't see how it is particularly relevant to this that they were motivated by a deficiency in SML. I'm not fami
2. 2.▲
   by nrioux 4y ago

   Phil Wadler, the first author of the paper you cite, was literally a principal designer of Haskell. SML does not have type classes; your quote points out a deficiency in SML that motivates type classes. My understanding is that "trait&
3. 3.▲
   by nrioux 4y ago

   Rust's traits come to mind as one example.
4. 4.▲
   by nrioux 10y ago

   > Does this basically mean the language is immune via the compiler to failures or attacks from abstraction gaps between what high-level language shows and what low-level target actually does? You're on the right track here. There&#x
5. 5.▲
   by nrioux 11y ago

   Is targeting Go source code like this really the best option for a Go-like language? I've been curious about hooking into some stage of Go's compiler. Looks like there is an intermediate Go assembly language, which PeachPy ( https