> At least TypeOK can be much more expressive than any type system. Can you clar... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		deredede 3 months ago \| parent \| context \| favorite \| on: Why Algebraic Effects? > At least TypeOK can be much more expressive than any type system. Can you clarify what you mean by that? Dependent types or more practically refinement types (à la F*) can embed arbitrary predicates.

_flux 3 months ago [–]

Right, I was referring totype systems in relatively popular real-world programming languages of today, i.e. Haskell, OCaml, Rust, Haskell :).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact