Functional Programming, Formal Methods.
extension was hugely complex, which made some people angry (spoiler: me) because their brain wasn’t big enough for them to understand and implement all of it themselves. Those people kept looking for simpler languages that were equally expressive. 2. Self Types One of the most interesting attempts