You can FFI out to/from java and should be able to talk to clojure through that. Not exactly the most fleshed out part of the API at present, but the bones are there.
We get a JITTed runtime, which can actually beat compiled GHC in performance in cases. We get first-class cross-language FFI to truffled language implementations: Python, Ruby, R, Javascript with shared objects, which…
https://github.com/ekmett/hide takes on that part of the project (formerly thc-edit mentioned in a couple of other replies). Not Turbo Vision based per se, but has that same classic style of UI. It renders itself via…
Long time no see! In the original commenter's defense, I _did_ let the agents I have working on this get a more than a bit test harness crazy back when I was able to use GHC itself as a behavioral oracle. That worked…
The THC thing was actually unintentional at first. It matched the Borland naming convention for the compiler name and it matched up with GHC. Now picking CBD for the compressed Core Binary Distribution format we use?…
Java FFI can be done, it is just on the messier end of the spectrum. I do a little bit of it as needed, but I've focused in on Polyglot languages for now, and deferred a lot of the hooks for nicely handling it to later…
Compile times are ... not quite there yet.
https://github.com/ekmett/thc-edit is the other half of the project and provides the classic editor experience, slightly modernized.
https://github.com/ekmett/thc-edit Next?
"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.
This has been the major reason why #haskell didn't try to move more forcefully. We'd like to get some of the old logging bots moved over, etc. We have some number of users who connect from tor, from matrix, or from…
(Sorry, Lindsey, not Lindsay.)
Without the propagators themselves being monotone they don't have enough to ensure determinism. They also don't have a guarantee of termination. e.g. repeatedly taking Heron steps on a rational interval approximation to…
Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately.…
Talk about timely, I recently took the opportunity to unmothball the old propagators idea and have been running a bunch of ideas past Sussman's former student Alexey Radul on a fairly constant basis for the last 3…
On the other hand, here's a problem. Extend your numeric type tower to handle whatever new numeric types I come up with in an internally consistent manner. In haskell I have number types for things that automatically…
Nah, it is a type of numeric ID's for different types of things. The parameter 'a' is just a phantom type parameter to keep you from mixing up a mesh ID with a texture ID.
import Control.Lens and let us use two components from lens: rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a which can take a rewrite rule and apply it to any 'self-similar' setter recursively in a bottom up…
You can FFI out to/from java and should be able to talk to clojure through that. Not exactly the most fleshed out part of the API at present, but the bones are there.
We get a JITTed runtime, which can actually beat compiled GHC in performance in cases. We get first-class cross-language FFI to truffled language implementations: Python, Ruby, R, Javascript with shared objects, which…
https://github.com/ekmett/hide takes on that part of the project (formerly thc-edit mentioned in a couple of other replies). Not Turbo Vision based per se, but has that same classic style of UI. It renders itself via…
Long time no see! In the original commenter's defense, I _did_ let the agents I have working on this get a more than a bit test harness crazy back when I was able to use GHC itself as a behavioral oracle. That worked…
The THC thing was actually unintentional at first. It matched the Borland naming convention for the compiler name and it matched up with GHC. Now picking CBD for the compressed Core Binary Distribution format we use?…
Java FFI can be done, it is just on the messier end of the spectrum. I do a little bit of it as needed, but I've focused in on Polyglot languages for now, and deferred a lot of the hooks for nicely handling it to later…
Compile times are ... not quite there yet.
https://github.com/ekmett/thc-edit is the other half of the project and provides the classic editor experience, slightly modernized.
https://github.com/ekmett/thc-edit Next?
"Use our bouncer or else." Sounds like a very democratic, open source, do what you will solution to me.
This has been the major reason why #haskell didn't try to move more forcefully. We'd like to get some of the old logging bots moved over, etc. We have some number of users who connect from tor, from matrix, or from…
(Sorry, Lindsey, not Lindsay.)
Without the propagators themselves being monotone they don't have enough to ensure determinism. They also don't have a guarantee of termination. e.g. repeatedly taking Heron steps on a rational interval approximation to…
Indeed. Our old discussions about "omega-continuous semiring homomorphisms" as the way to try to make something half-way between Dyna and the datalog bits I was working on have been very much present in my mind lately.…
Talk about timely, I recently took the opportunity to unmothball the old propagators idea and have been running a bunch of ideas past Sussman's former student Alexey Radul on a fairly constant basis for the last 3…
On the other hand, here's a problem. Extend your numeric type tower to handle whatever new numeric types I come up with in an internally consistent manner. In haskell I have number types for things that automatically…
Nah, it is a type of numeric ID's for different types of things. The parameter 'a' is just a phantom type parameter to keep you from mixing up a mesh ID with a texture ID.
import Control.Lens and let us use two components from lens: rewriteOf :: Setter' a a -> (a -> Maybe a) -> a -> a which can take a rewrite rule and apply it to any 'self-similar' setter recursively in a bottom up…