Post An70IylIHjaIJ3bJMu by deech@mastodon.social
 (DIR) More posts by deech@mastodon.social
 (DIR) Post #An70IylIHjaIJ3bJMu by deech@mastodon.social
       2024-10-17T22:12:21Z
       
       0 likes, 0 repeats
       
       @edwinb your work is an inspiration, your book is eye opening, I've been looking into Lean and wouldn't have been able to make heads or tails of it if I hadn't casually played around with Idris 🙏 .My take is aimed at the corporate day-to-day typed languages
       
 (DIR) Post #An70IzlgXlUXQYn8cK by hisham_hm@mastodon.social
       2024-10-17T22:45:06Z
       
       0 likes, 0 repeats
       
       @deech @edwinb I echo @deech's sentiments (both the rant, and the praise to your book—eye-opener is a great way to describe it)@deech I wonder to which language(s) specifically your dig was aimed at? Personally I've always got that feeling that "the compiler is my friend" from statically typed languages, except in three cases: C++, Haskell and Rust. (1/2)
       
 (DIR) Post #An70J15Deci9VQwFhg by hisham_hm@mastodon.social
       2024-10-17T22:47:40Z
       
       1 likes, 0 repeats
       
       @deech @edwinb In C++ it felt like the compiler got overwhelmed any time something went wrong "I'm really a C compiler ok?? I'm trying my best here!"In Haskell it was like talking to an alien. But out of the 3, when I got things working I would _fly_ with productivity... until I hit a brick wall of alien text. I'd get outside help, and carry on flying.In Rust it feels like "the compiler is a nice chap, but they're a friend of the language, who's constantly excusing its unfriendly behavior".