I've had similar thoughts. Extremely condensing things, I'd see lots of value in: * Better code folding, so you can cram more info into source code but also hi

I've had similar thoughts. Extremely condensing things, I'd see lots of value in: * Better code folding, so you can cram more info into source code but also hide it easily. * Function signatures with "types" that are arbitrary predicates and optional generators. * Function signatures with properties e.g. this binary function is commutative over type X. * Combine those and you can name algebraic structures. * "Enforce" this all through property based testing. IMO, this would make code that's much easier to reason about than untyped code while being more approachable and flexible than other typing systems.