Re:TLS/SSL implementation in Haskell
by AnthonyMouse on Thursday April 10, 2014 @02:44PM
(#7568758)
> Ideally, you would have a parsing and validation routine which fills in a struct.
The parsing and validation routine is where you need the buffer abstraction. If you make a mistake there then a copy function that won't let you read or write past the end of the buffer will mitigate the damage.
> But there comes a point at which further complexity produces more confusion than safety.
Buffer is simply not the right abstraction for complex protocols, regardless of how "complex" operations you define.