> Note also the default target is Chez Scheme (Racket and Gambit supported) instead of C (which it still supports) because its faster.
That was Idris 1 with the slow C backend.
I believe he needs help on backends as he is not an expert at that; Idris 2 really has a chance of becoming a quite optimal language. I wish Rise4fun.com (MS research) would fund this work; they are doing everything right (for a decade already), I just don't want a language like this to run on the jvm/clr, well, I mean solely; it should be a choice. But I do think the funding (it's MS...) and the people at this particular research dep could really help. For instance F* has really cool 'targets' like;
That was Idris 1 with the slow C backend.
I believe he needs help on backends as he is not an expert at that; Idris 2 really has a chance of becoming a quite optimal language. I wish Rise4fun.com (MS research) would fund this work; they are doing everything right (for a decade already), I just don't want a language like this to run on the jvm/clr, well, I mean solely; it should be a choice. But I do think the funding (it's MS...) and the people at this particular research dep could really help. For instance F* has really cool 'targets' like;
https://fstarlang.github.io/lowstar/html/LowStar.html
more info;
https://github.com/project-everest/hacl-star
https://rise4fun.com/FStar/tutorial/jsStar