Another cool online thing that exists is CP, a language with disjoint intersection and union types:
https://github.com/yzyzsun/CP-next
flashgordon•3h ago