Saw Liquid Haskell and was like “wow, I should do the tutorial”.
Currently also learnin vim, haskell, korean, and a bunch of stuff for work.
Perhaps if I type about it here I’ll focus my learning
https://ucsd-progsys.github.io/liquidhaskell/
It uses formal verification to make sure your program does things? That sounds so cool.
there’s a rust version: https://dl.acm.org/doi/10.1145/3591283
can define natural numbers as ints greater than 0 with it, supposedly
Oh, nice! Yeah, I don’t know much about Liquid Haskell. Do you know if liquid typing is different from dependent typing?
Think so! They call them refinement types, where you specify a type by putting a predicate on it. From what I understand, a dependent type is a type whose definition depends on a value.
Are they the same? uhhh… maybe, I should ask someone who knows types