effekt VS awesome-programming-languages

I like it. Modern languages that distinguish between pure and impure programs like Flix, Koka, and Effekt do so on the type level instead of syntactically. This has three advantages:

The problem with checked exceptions been identified and solved. The same problem and solution applies to effect handlers. Effekt is a language with lexical effect handlers which doesn't have this problem. Consider the following program in Effekt:

Yes, for you this is the right decision. But for us going to CPS makes everything significantly easier and in cases where you do use control effects significantly faster. For our language Effekt we are exploring different tradeoffs in different backends.

This pattern they observe is nicely captured by effect handlers. These examples are written in Effekt.

This is beyond my level of expertise. But effect tracking? There are some cool languages out there that do that consistently! Search for "algebraic effects". My favorite is Koka. Effekt also seems to be a popular choice.

https://effekt-lang.org/ A research language with effect handlers and lightweight effect polymorphism

Examples are languages like Koka, Effekt, Links, or Unison. These languages come with a type-and-effect system: a function's type not only tell you which values the function accepts and which values it returns, but also which effects it has. This is relevant to your question, because throwing an exception is one such effect.

It seems that with Effekt we are pursuing the same goal, but coming from the opposite direction, perhaps one day we will meet in the middle :). We start from a purely functional language and carefully add effects like mutation.

- https://effekt-lang.org/

There are many cool and awesome languages out there...

https://github.com/ChessMax/awesome-programming-languages seems pretty good. I would love to have some kind of sorting and filtering options, but it is definitely very comprehensive and actively maintained.

There are hundreds of awesome programming languages out there. You are to choose what's more suitable for your goals and interests. Many languages are looking for contributors, testers and so on. Just give it a try.

Behold - the list of 303 languages - from old to new, from mainstream to super obscure. Last updated 4 days ago.

Another curated list of (mostly) opened sourced languages: https://github.com/ChessMax/awesome-programming-languages

Continue working on collecting awesome PLs. Want to say many thanks to all contributors. You are all cool. One of the contributors added 30 PLs to the list. It's incredible. Now the list contains 178 languages. And it's huge. The more will come later. Stay tuned! As always I'm open to any help/contributions (PRs or issue or even ideas).

I'm working on collection list of programming languages. Here is the link https://github.com/ChessMax/awesome-programming-languages. That may be helpful.