Post AxAMe6NInSeWU6JnLU by exfalsoquodlibet@piaille.fr
 (DIR) More posts by exfalsoquodlibet@piaille.fr
 (DIR) Post #AxAMe6NInSeWU6JnLU by exfalsoquodlibet@piaille.fr
       2025-08-13T18:41:06Z
       
       1 likes, 0 repeats
       
       @xvw IMAO monads are very readable and understandable :-) (half a troll)
       
 (DIR) Post #AxAd8tjBT03DVJGAsq by NuclearSquid@piaille.fr
       2025-08-14T11:38:13Z
       
       0 likes, 0 repeats
       
       @xvw OCaml is so slept on man. It’s definitely in my top 3 favorite programming languages and I think it’s just wild seeing how little attention it gets despite all the features it has that other programming languages would kill for.
       
 (DIR) Post #AxAd8veeIpbzTp9a5o by icon_of_computational_sin@mstdn.starnix.network
       2025-08-14T19:42:19Z
       
       0 likes, 0 repeats
       
       @NuclearSquid @xvw for the longest time, OCaml had been known as "that language they used for implementing Coq". I'm glad this is changing, albeit somewhat late.