Tech Talk: God's Programming Language - Philip Wadler on Haskell
CoRecursive: Coding Stories
00:00
Linear Logic Is Important for Programming Protocols
The main method of doing this is something called session types. Due to cohe handa when cohe hand invented session types for doing protocols. He was inspired by linear logic. There's send a message, receive a message. And then there's a make a choice or accept a choice. So at one end of the channel, you say, right, i've got two alternatives here. I pick alternative a. At the other end of thechannel, saying, i'm offering two alternatives here, called a and b. And again, you want those to match up - so that make a choice and offer a choice are actually two connectives of linear logic. It wasn't until 20
Transcript
Play full episode
