Nicolas Rinaudo
@nicolasrinaudo
ID: 17140452
http://nrinaudo.github.io 03-11-2008 21:04:06
12,12K Tweet
1,1K Takipçi
97 Takip Edilen
The debatably Free monad by Nicolas Rinaudo youtu.be/Yci07bMTcsM
The list never ends... #Programming a Language by Nicolas Rinaudo Joyful & secure publishing to #Maven Central by Roberto Tyley Escaping false dichotomy with sanely-automatic #derivation by Mateusz Kubuszok Next week at #ScalaIO! scala.io
🎥 LambdaDays 2024 new talk recording! Mentoring shapes careers and strengthens the tech community. 💡 Watch this insightful panel discussion with Maciek Gorywoda (🦋@makingthematrix.github.io) Monica McGuigan Sophie Collard Jônatas Davi Paganini Nicolas Rinaudo, hosted by Anna Miler from DareIT Mentoring Program, on
Nicolas Rinaudo Hey, cool blog post! This is very similar to the ideas underlying our language Effekt. Funnily, we also have a paper titled "Effects as Capabilities" :) dl.acm.org/doi/10.1145/34… We even sometimes use a very similar encoding in our compiler which is implemented in Scala.