3 ms·
Strong types are very important for concurrency. However, by themselves, strong types do not provide proofs. See the following for proofs of strongly-typed co
by ProfHewitt 6y ago
Strong types are very important for concurrency.
However, by themselves, strong types do not provide proofs.
See the following for proofs of strongly-typed concurrent systems:
https://papers.ssrn.com/abstract=3418003 https://papers.ssrn.com/abstract=3418003
Strongly-typed programming languages need to provide
additional capabilities for error processing and recovery.
- jpcooper 6y agoThanks for posting. I can't find it now, but we mention somewhere in the paper that typing makes it more difficult to fake messages. Typing allows you to make stronger proofs over the properties and behaviour of actor systems. Sorry if I've missed the point: What are the other direct implications to security which typing brings?
- ProfHewitt 6y agoExcellent question! Types can provide very strong security for messages by having the type system do crypto so that applications can benefit without requiring application programmers to manage keys and crypto code.
- jpcooper 6y agoThanks. That makes sense.
- ProfHewitt 6y agoYou are very welcome. There is additional information available here: https://professorhewitt.blogspot.com/ https://professorhewitt.blogspot.com/