News for hackers. Stuff that matters.
Re:Things that Idris improves things over Haskell by mej10 on Friday June 16, 2017 @01:49PM (#14571119)
You seem to just be thinking about low level network protocols.

The idea of a protocol in this sense encompasses pretty much any communication between things. This includes web service calls, user input via a UI, transactions between multiple systems, or even modules within the same program.

There are no comments on this comment yet.