@DissonantLogic@lichthauch “The soul of a sinner is like a snail,” [Dali] explained. “It curls and cowls up in the shell and the only way to retrieve it is by using an escargot fork!”
https://t.co/wy4iwd9yod
@ChShersh@georgesboris ngl, phantom types + Peano numbers look intimidating to an FP/TLP neophyte like me. I want to believe in the power of compile-time checks, so I am learning. The boilerplate for Peano numbers doesn't scale well. What's your preference for solving this in Haskell and OCaml?
@octopichael you have a new superpower but are unsure how to apply it. you are in an exploratory cultivation phase. apply your discipline at a meta-level to explore where your intuition guides you, even if the paths don't amount to anything except giving you clarity about what you don't like
@ChShersh as a recent convert straddling the line between OOP and FP, I've been trying to understand how many OOP patterns used in typical BLOBAs can be converted to FP, demonstrating the limitations of the OOP way while showcasing the advantages of FP.
@sadfalcon_@CommieeMami@amaldorai@HotForMoot The initial choice doesn't even need to be forcing yourself to subscribe to a particular faith. It could even be as simple as challenging your own position: https://t.co/1hba4YWOZE
The Jean-Paul Riopelle painting "Point de rencontre" that's been hung in the ballroom of Rideau Hall. Gorgeous indigenous-themed piece. "Meeting point" message couldn't be more appropriate.