Does there exist a total (dependently typed) FP language that I can invoke from Java?
-
-
Replying to @runarorama
"./thing-written-in-agda".! seems to work for me.
1 reply 0 retweets 4 likes -
Replying to @djspiewak
I should specify: I want to evaluate user-defined Agda code given that it is of a particular type.
1 reply 0 retweets 0 likes -
Replying to @runarorama
Yeah, there probably isn't anything. In my experience, those interested in total FP DT langs aren't interested in the JVM.
1 reply 0 retweets 2 likes -
Replying to @djspiewak @runarorama
I’m interested in someone being interested in the JVM. It’s one of the things I’d do if I was multi core :)
2 replies 0 retweets 3 likes -
is a multithreaded Ocaml backend for Idris still being mooted?
1 reply 0 retweets 1 like
There’s this, which works (and is pretty fast!) but needs more development https://github.com/stedolan/malfunction …
-
-
Replying to @edwinbrady @robstewartUK and
We have a list of codegen targets here http://idris.readthedocs.io/en/latest/reference/codegen.html … It's fairly up to date...
0 replies 0 retweets 0 likesThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.