News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.