mapM

4 ms·

1. 1.▲
   by mapM 5mo ago

   It's funny that the .gitignore is marked as being from 49 years ago ...
2. 2.▲
   by mapM 3y ago

   I think you misunderstand. On your point about programs not being "provable": it is certainly possible to prove some properties about some programs. It is not necessarily easy, and it very much depends on the program and the pro
3. 3.▲
   by mapM 3y ago

   You can use monads to track where effects are used, and scope them. This allows you to write pure functions that uses effects in their implementation, but the users of the function need not worry about that. Some monads are also handy for