eff VS Exercism - Scala Exercises

You can swap-out implementations for testing, avoid the crazy N^2 instances issues, etc. They're pretty cool. Currently there are many competing libraries. polysemy and eff both have good examples on their homepages.

Effect systems and Algebraic effects. ocaml has just released a stripped-down effect system. People are also working on Effect systems for Haskell (eff, fused-effects, effet). Koka is a language built with effects first and foremost and it’s rapidly gaining popularity. Unison also has effects.

There are also a few subtle issues that arise with delconts related to semantics of higher order effects (see here and here), but they might be solvable.

Details are in https://github.com/hasura/eff/issues/12 and https://www.reddit.com/r/haskell/comments/pywuqg/unresolved_challenges_of_scoped_effects_and_what/.

You'll get fearless parallel with STM in the mixture, and GHC is getting a work in progress effect system for Haskell, as Delimited continuation primops has been merged.

My last example is algebraic effects, some of which have been made possible in a both practical and efficient way thanks to extremely recent research, and that I can use to implement architectures like Ports and Adapters or Clean Architecture and have very maintainable code. (Extensible Effects — An Alternative to Monad Transformers was published in 2013, Effect Handlers in Scope was published in 2014 and they are behind Polysemy, while there is ongoing work on effects with even better performance, like Eff)

cleff's Eff monad is esentially implemented as a ReaderT IO. [...] This is first done by eff, [...]

Here is link number 1 - Previous text "eff"

Languages such as Koka only support algebraic effects, not scoping operations such as catch and listen. The Effect Handlers in Scope paper introduces scoping operations, which lead to the Haskell libraries fused-effects and polysemy, but they turned out to have some weird semantics. eff is her effort to fix that.

There are a few languages that have algebraic effect systems, most notably Haskell, but these systems are implemented as libraries, not baked into the language (which can have advantages and disadvantages).

When I got my first job as a junior software engineer, my team lead suggested I take a course by MIT, Introduction to Computer Science and Programming Using Python to improve my fundamental knowledge of computer science. The course duration was 9 weeks and I learned a lot of theory about programming and picked up Python syntax. I liked the course and especially the exercises that were presented there. At that time I also discovered an amazing website called Exercism. I thought since I became familiar with the Python syntax and knew how to build simple apps, maybe it would be nice to explore some AI-related stuff. But after playing around with it I realized AI is really not for me. I'm not into analyzing data and everything that goes with it. I was more of an engineering and problem-solving type of developer.

Exercism

Nice, this reminds me of Exercism, which I wish was more widely known since they seem to be good folks. (disclaimer, I donate to them)

https://exercism.org/

Exercism, the free programming learning platform has initiated a challenge named: 48in24.

Last year, Exercism put together the #12in23 challenge. The goal was to learn a new programming language each month throughout the year. I was one of 135 people who completed the challenge, and I learned a lot along the way!

The list of languages contains every language on Exercism, excluding ones that I've used before, web languages, or ones that I can't download for some reason.

You might like https://exercism.org/

Learning by doing, with the help of mentors. Excellent way to learn a next language (as you are already familiar with the programming concepts).

Exercism is pretty good for beginners with some programming language, they are open source and worth contributing to.

Exercism