has refinement types. these exist in fstar lang and liquidhaskell. dependant types are not refinement [0] ts and rust have ideas to have them[1], but not so o

has refinement types. these exist in fstar lang and liquidhaskell. dependant types are not refinement [0] ts and rust have ideas to have them[1], but not so officially [0]https://www.reddit.com/r/dependent_types/comments/ay7d86/what_can_refinement_types_do_that_dependent_types/ https://www.reddit.com/r/dependent_types/comments/ay7d86/wha... [1]https://en.m.wikipedia.org/wiki/Refinement_type https://en.m.wikipedia.org/wiki/Refinement_type