3 ms·

What language are you going to try and improve? Add static types to Python? Or make Java purely functional? Often one needs to start again. Mirth looks much bet

• ithkuil 7y ago
  There exist other languages in the category, e.g. https://kittenlang.org/ https://kittenlang.org/, http://www.factorcode.org/ http://www.factorcode.org/, https://github.com/cdiggins/cat-language https://github.com/cdiggins/cat-language, https://en.m.wikipedia.org/wiki/Joy_(programming_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-concatenative-programming-matters.html http://evincarofautumn.blogspot.com/2012/02/why-concatenativ...) I'm personally happy that somebody is doing more research in this field.
  • voxl 7y ago
    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.
    • garmaine 7y ago
      Does mirth? I've been perusing the code and haven't seen anything like that so far.
    • ithkuil 7y ago
      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 7y ago
    Unrelated, do you speak Ithkuil?