Element Action, I'm Making a Pure Functional Programming Language. That's How Into It

Rachiki: I have a lot of friends who are very into typed pure functional programming. There are nominal typing and dynamically typed languages, there are now structural typing features in many static languages. Rachiki: In practice, what people would refer to as duct-tape type is actually an interface that just implicitly says "do not do this"