My belief is that software is one of many tools that can empower πͺ people π§πΏβπ€βπ§π» to solve almost any problem. However we are in the middle of a time with a lot of uncertainity. Absurd fragmentation of programming languages and ecosystem tools, a huge lack of mathematic and scientific formal principles and ignorance of program correctness. I know we can do better (βοΈπ©) and when we finally do, it is going to be awesome! π
- Category Theory
- Functional Programming Ξ»π¦
- Formal Verification
- Pure functional languages: Haskell, Elm, PureScript, Idris, Unison
- Dependent Types
- Erlang/BEAM/OTP (Resilience/Fault Tolerance/Scalability)
- Visual programming: Enso (formerly Luna)
- Java
- JavaScript
- Go
- Python
- Dynamic Typing
- Mainstream Hype
βA language that doesn't affect the way you think about programming is not worth knowing.β
β Alan J. Perlis
If you feel intrigued or just want to throw β‘ or π© at me, then look no further