I stumbled onto this episode after fantasizing about just such a technology where we could take all of the positives of the Beam and bring them to the amazing OCamL compiler. This guy Leandro is incredibly clever and articulate. I loved his use of the word “free range” to describe a technology later in this podcast. A super interesting episode!
Leandro reminds me of myself (though I’m obviously not quite as bright), getting interested in bleeding edge, space age languages like Idris then dialing back the type astronautiness to more breathable air to achieve things in the real world with languages like OCamL. Enjoy! Hopefully some of you smart people can help push #RIOT forward. It seems like a great idea without peer in the tech world.