@tokyo_0 Yah katha nahin hai, keval ichchhaon ke sangharsh kee." This isn't a tale of the struggle of human(s) with the desires Details are not sufficient to confirm of its one's own desires or this of the others, the struggle with which of the subject is mentioned in the quote
fixpoint combinators like Y can't be well-typed in #Haskell. Specifically, something of the form x x requires x to have two conflicting types simultaneously. In dynamic languages, this doesn't matter because you just don't care what the type is, only that you can use the value in some way. But a Haskell compiler does care. However there's no need for such combinators, because Haskell's solution fix f = let x = f x in x is more elegant anyway, and has no typing difficulties (but does require lazy evaluation). #javascript is perhaps not the best launchpad to haskell , to their credit they make good fp presentations https://stackoverflow.com/questions/68975627/translating-a-fixed-point-operator-to-haskell-language
@inthehands one thing i learnt from my student days , is that safe space is as much an i illusion as an unconditionally inclusive society so i d wager that the very dichotomy is false
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence pedantic nooball content CC BY-SA 4.0 #nobot> i am not a book about me .> https://git.sr.ht/~carnotweat/morning-rust