24 pointsby SchwKatze8 days ago3 comments
  • curtisf8 days ago
    I think this discussion dismisses the "physics" of writing code, which rewards laziness.

    Effects make _the right thing to do_ (proper sandboxing, testability, assertions, ...) the _easiest_ thing to do.

    Build scripts aren't sandboxed because sandboxing bash functions is nigh impossible -- not because people don't want to.

    The discussion on assertions is especially confusing, because that is exactly what effect systems excel at. The effect of an assertion would be Assert, and you can choose to handle it however you want, at a higher level. If you want to crash, handle Assert in main by Exit(1)ing. If you want to reject the request but keep the server alive, handle by SetResponse(500)!; CloseRequest()!. If you want to ignore it and trundle on, return to the point of the assertions continuation.

  • keeganpoppen3 days ago
    do either of these people know anything about effect systems? can’t say it feels that way…
  • ra3 days ago
    Slop?