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.
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.