News for hackers. Stuff that matters.

A comment on Elixir – Why the dot (when calling anonymous functions)?. Parent comment

Re:Elixir – Why the dot (when calling anonymous functions)? by bPspGiJT8Y on Monday August 14, 2023 @06:17PM (#37127479)
Also worth mentioning Idris, although its tooling and ecosystem are still pretty much nonexistent.
[ Parent | on HN ]
Re:Elixir – Why the dot (when calling anonymous functions)? by consilient on Monday August 14, 2023 @06:21PM (#37127510)
Yeah, that's what I meant by "mature". Agda also has a js backend, but neither one can really stand alone. Haskell is closer, but GHCJS is still very much a second class citizen of the ecosystem.
[ Parent | on HN ]
Re:Elixir – Why the dot (when calling anonymous functions)? by bPspGiJT8Y on Monday August 14, 2023 @06:45PM (#37127710)
Clean also has WASM as the compile target via its IR, and its tooling is great. Unfortunately though I couldn't find any sort of a community when I was looking into it, but other than this the language looks quite mature and very industry-oriented. Then there's Lean which also can compile to WASM via some sort of a bridge, it has decent tooling but the ecosystem is still nonexistent.
[ Parent | on HN ]