#kokalang — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #kokalang, aggregated by home.social.
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
#koka (#kokalang ?) seems very cool:
https://koka-lang.github.io/koka/doc/index.htmlAnyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?
-
"Functional But In Place" languages according to the comments: Roc, Lean, Koka.
Koka is the one I got hits on when I tried to remember what Roc was called, as Koka seems to have been the first or most well-known to have been used for a paper with a functional-looking in-place-executing quicksort.
#FunctionalButInPlace #FBIP #LeanLang #KokaLang #Koka -
"Functional But In Place" languages according to the comments: Roc, Lean, Koka.
Koka is the one I got hits on when I tried to remember what Roc was called, as Koka seems to have been the first or most well-known to have been used for a paper with a functional-looking in-place-executing quicksort.
#FunctionalButInPlace #FBIP #LeanLang #KokaLang #Koka