3 ms·

I think you may have diagnosed me correctly. I have been enjoying Clojure. But weirdly enough, the more powerful a type system you have, the more you can do lis

I think you may have diagnosed me correctly. I have been enjoying Clojure. But weirdly enough, the more powerful a type system you have, the more you can do lisp-like magic. Think Rust's traits that can have default implementations, which basically gives you what multiple inheritance is supposed to provide. And Into<T> that essentially sprinkles opt-in dynamic typing through your codebase. There are so many bits of magic you can express with powerful static types, and I don't really mind writing a generic implementation once.

taeric 9y ago
Strong types give me the feeling of expressing some sort of universal truth in a math way. I am actually quite bad at that. Lisp let's me understand how procedures go together to build things. In particular, it helps get to a dual phase of programs. Macros aren't my program running. Rather, they are a program that makes the program I want to run. It just so happens that being able to cycle between those phases is very useful. I can make no claims that one is superior. Edit: s/string/strong/.