Idris maybe? If Idris has easy interop with the Rust ecosystem, we'd have a grea... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		cies on Feb 10, 2021 \| parent \| context \| favorite \| on: Haskell: The Bad Parts, part 2 (2020) Idris maybe? If Idris has easy interop with the Rust ecosystem, we'd have a great backend (and with wasmer possibly also fontend) option.

Kototama on Feb 11, 2021 [–]

I was also thinking as Rust as a backend for a FP language in the last day. I found some Ocaml binding for Rust. It would be interesting to see how it fits.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact