On: Mirth – a type-safe concatenative purely functiona...

[ithkuil]

There exist other languages in the category, e.g. https://kittenlang.org/, http://www.factorcode.org/, https://github.com/cdiggins/cat-language, https://en.m.wikipedia.org/wiki/Joy_(programming_language). I assume the parent poster referred to improving those (or at least explaining which deficiencies of those myrth is addressing).

(In case you didn't already, you can read about this family of languages in http://evincarofautumn.blogspot.com/2012/02/why-concatenativ...)

I'm personally happy that somebody is doing more research in this field.

[voxl → ithkuil]

Note that none of these languages have dependent types and that feature is sometimes impossible to add in full generic power after the fact without completely breaking existing code.

[ithkuil → voxl]

I think there is some misunderstood. I just saw mentions of java and python and I just wanted to add some pointers for people who might not know that myrth lives in a void. I didn't want to imply that there is no point in writing a new language.

[garmaine → voxl]

Does mirth? I've been perusing the code and haven't seen anything like that so far.

[garmaine → ithkuil]

Unrelated, do you speak Ithkuil?