3 ms·

> And I would argue they haven't produced much usable stuff in the research realm at all I would disagree. C# and F# have been good. Advances in Haskell. AR a

> And I would argue they haven't produced much usable stuff in the research realm at all I would disagree. C# and F# have been good. Advances in Haskell. AR advances. Those are all interesting, just off the top of my head.

psunavy03 2y ago
> AR advances. For a while, but they seem to have faceplanted in this realm.
nequo 2y ago
Adding to your list, Z3, Lean, F*, Koka are all non-trivial I think.