This is an automated archive made by the Lemmit Bot.

The original was posted on /r/programminglanguages by /u/amzamora on 2024-10-14 13:30:39+00:00.

Hi all,

I am university student from Chile currently studying something akin to Computer Science. I started developing a programming language as a hobby project and then turned it into my dissertation/thesis to get my degree.

Currently the language it’s very early in it’s development, but part of the work involves getting feedback. So if you have a moment, I’d appreciate your help.

The problem I was trying solve was developing a programming language that’s easy to learn and use, but doesn’t have a performance ceiling. Something similar to an imperative version of Elm and Gleam that can be used systems programming if needed.

In the end, it ended looking a lot like Hylo and Mojo in regards to memory management. Although obviously they are still very different in other aspects. The main features of the language are:

• Hindley-Milner type system with full type inference
• Single-Ownership for memory management
• Algebraic Data Types
• Opaque types for encapsulation
• Value-Semantics by default
• Generic programming trough interfaces (i.e. Type classes, Traits)
• No methods, all functions are top level. Although you can chain functions with dot operator so it should feel similar to most other imperative languages.

To get a more clear picture, here you can found documentation for the language:

And the implementation so far:

It’s still very early, and the implementation doesn’t match completely the documentation. If you want to know what is implemented you can look at the test folder in the repo. Everything that is implemented has a test for it.

Also the implementation should run on Windows, macOS and Linux and doesn’t have many dependencies.