News for hackers. Stuff that matters.

A comment on I learned Haskell in just 15 years. Parent comment

Re:I learned Haskell in just 15 years by nequo on Tuesday June 18, 2024 @12:33AM (#40714096)
Do you also suspect homicidal money making motives behind Z3, Lean, and F*? It seems more likely to me that they just want some useful knowledge out of these projects that they can integrate into a product that actually sells.
[ Parent | on HN ]
Re:I learned Haskell in just 15 years by crabbone on Tuesday June 18, 2024 @10:06AM (#40718037)
I have a misfortune to know personally some of the mid-to-high level execs from MS. What I write is based on the experience of working with these people. And I don't even know what Z3, Lean or F* are, so, pardon my ignorance, but I cannot answer your question.
[ Parent | on HN ]