Re:A Gentle Introduction to Liquid Types
by maxbond on Monday September 04, 2023 @03:43AM
(#37378132)
Why? Looks like they're doing realtime network monitoring for security purposes. Sounds like a high performance application to me. Haskell has a reputation for being slow, but the proof is in the pudding - and what's being asserted is that a stronger type system enables better optimization.
[ Parent
| on HN ]
There are no comments on this comment yet.