polysemy VS Exercism - Scala Exercises

Thirdly, composing arbitrary effects without losing state is really, really difficult. Things are fine when you limit yourself to State and Reader, sure, but once you start with nondeterminism you’ll discover it’s shockingly easy to produce behaviors that are baffling unless you’ve spent a preposterous amount of time thinking about this stuff. (I’ve been bitten in prod by silent state-dropping bugs, and rarely have I been more flummoxed.) Consider this example, which produces silent changes in the semantics of <|> depending on whether you use it inside or outside of a higher-order effect. Every single effect library (besides the still-unreleased eff) gets certain combinations of effects + nondeterminism wrong. You could make the argument that most people don’t use nondeterministic monads, but eDSLs really shine when you have access to them, as you can turn a concrete interpreter to an abstract one fairly easily.

Looking for a few projects that make use of it, I found accelerate, hawk, polysemy and pretty-simple, so I'll be interested to poke around in their code and see how they have things set up.

Right, I think I'll just give it a shot to see. Polysemy is nice but I'm still having trouble getting what I want out of it (which may very well be entirely a fault of my own understanding)

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.

Looking at the interpreter for Reader might give some clues if this doesn't work. https://github.com/polysemy-research/polysemy/blob/master/src/Polysemy/Reader.hs#L38-L45

*But I'm not terribly well versed in Scala's other DI offerings. I came from Haskell and didn't find anything in Scala that clicked with me until I found ZIO. It reminded me a lot of my favorite way of writing Haskell programs (https://github.com/polysemy-research/polysemy)—albeit with a completely different implementation.

This is where sources like freeCodeCamp or Scrimba absolutely shine. With Odin, you read an article and may follow along with examples. But it’s unlikely you develop the muscle memory to implement the concepts on your own. Odin does offer some in-house exercises and often assigns external ones too. Still, I believe it’s not enough. You don’t lift weight only 5 times and say I’ve got this! You keep lifting until that muscle grows and continue lifting to keep it in shape. Similarly, you need to grow your mental muscles (brain neurons?) by doing many, many exercises. So you might want to augment your learning with other sources like Exercism or fCC.

If I get the time I would very much like to share my notes on adopting the various languages and perhaps even my solutions to some of the exercises. I have some reservations to doing the latter, since it does spoil the fun of solving the exercises for you. I have made some basic tooling which could be of interest/inspiration to you if you are in on Exercism.

🔗 🔗

I think you are looking for Exercism: https://exercism.org/

Great website!

Appeared at 2012. Built on top of BEAM to make Erlang\OTP runtime more accessible, because Erlang is not user friendly really; and shares the same abstractions and OTP framework for building distributed, fault-tolerant applications. Though initially designed with dynamic typing, Elixir is actively developing static typing capabilities cnrs. As Joe Armstrong said about types "no good type system save you from node failure" — that is why Erlang language was dynamically typed — it was not focus. And it is one of the two languages in this list available on Leetcode, but I would recommend to use https://exercism.org/ for practice firstly. You can think about this language as more modern and easy to use language for BEAM runtime than original Erlang language. Why does it matter? Because Erlang really powers high load. You can find out more here about real world use cases of Erlang its VM called BEAM. Whats-app cloud handles 2 millions connection per a node for instance. It is simple language nevertheless a powerful one. Maybe Elixir has not really good theoretical fundament, but it is still good language and its author José Valim actively works on bringing type system with synergy of academic world.

Work has eaten up most of my spare time lately, or it hasn't left me with much energy that I could devote to additional learning. I've gone quite a few day without any studying. Today, I've managed to complete a few challenges on Exercismthat were left open and I'm about to get back to studying for the CompTIA Project+ certification.

Mentored six students on (https://exercism.org/). Got one testimonial (positive). Have received a total of five so far, all good words.. I've mentored a lot more students in total, but the sessions are not counted until they acknowledge feedback and terminate them. Some submit requests for mentoring but then forget about them, which is frustrating, considering I put a lot of time and effort into giving proper feedback.

Although I was initially afraid of mentoring (on Exercism), I seem to have fallen into a positive flow. It's been a great feeling to help students who have just recently started out on their journey. I was able to spot bits and pieces susceptible of improvement and steer them in the direction of better habits and best practices. It's only been a few days, but I feel I've already grown a lot from it, and I'm grateful for the opportunity. The (positive) pressure is also pushing me to strengthen and expand my own knowledge. It keeps me on my toes and helps me not to become stagnant and complacent. I've already received positive feedback from some students and I look forward to mentoring more.

Enter Exercism, offering the opportunity to mentor other students on their solutions to the challenges. Perfect opportunity to start growing those mentoring muscles.

After reading Erik's post I fell over a post from: Erik Walker, the co-founder of Exercism.io, entitled: "2M users but no money in the bank. Tough times 😔".