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.…
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…
Rust's traits come to mind as one example.
> 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…
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…
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.…
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…
Rust's traits come to mind as one example.
> 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…
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…