I was doing some language exploration as I am toying with the idea of getting some backend services up and running, and I have some…
Disclaimer: I need to put a giant disclaimer up front here about how I am not an expert in type theory. I read a lot of books and have…