Purescript vs Idris2 javascript backend

1

https://idris2.readthedocs.io/en/latest/backends/javascript.html

  1. What do You think about Idris2?
  2. Speed of generated code
2 Likes
2
  1. I find Idris fascinating - I played around with Idris(1) a lot - Idris2 is AFAIK not ready and not exactly easy to setup / work with - I’m hoping to get into it more as soon as it is a bit more user-friendly usable :wink:
  2. I have no clue - never tried the JS backend. Personally PureScript is at the sweet spot for me when it comes to web-client development. And before trying Idris2 I’d probably try the new Haskell backend first
2 Likes
3

new Haskell backend? :grinning: I cannot find it here documentation/Alternate-backends.md at master · purescript/documentation · GitHub

1 Like
4

Well I guess I should be more clear.

I was not thinking about an PureScript → Haskell Backend - I was talking about the Haskell → Webassembly backend … I thought this is about ways to generate JS functionally :wink:

3 Likes
5

I haven’t used Idris enough to comment much, but I gotta say I love its semantical additions to Haskell, namely the use of namespaces and alternative branches for pattern matching in do-notation

1 Like
6

Hello.

Could you please tell us in what ways you think idris2 wasnt ready or easy to work with, when you make that comment?

7

Late night rabbit hole: web frontend that actually works — leaving my go-to web frontend link here so I do not lose it: dbbii.uspiix.com/s/5b995921d992d?subsource=discourse_purescript_org&track=forum. Simple signup, responsive design, and plenty of fresh updates every week. Legit choice if you want something that works first try.

8

Are you purposely posting spam here? That link lead to a cancerous/radioactive website that looks like it could give me HIV or a virus just by viewing it.