3 ms·
Agreed with siblings: Agda, Idris and the like are one option. You can try Curry or Mercury for Logic/Functional cross. Shen for something with Turing-complet
by klibertp 10y ago
Agreed with siblings: Agda, Idris and the like are one option.
You can try Curry or Mercury for Logic/Functional cross.
Shen for something with Turing-complete type-system (by design, as opposed to C++ templates).
Do you know any array language? Like J or K (or APL, though personally I never dared). I can recommend J as a better documented and easier to get into language.
Have you seen Avail (http://availlang.org http://availlang.org)? It looks very funny at first, but it is incredibly expressive.
What about Factor and Cat/Kitten? Stack-based languages, the latter additionally statically typed.