Dynamic typing, mutability, object oriented programming are all bad choices for agentic feedback loops. #Functionalprogramming languages with #algebraicdatatypes, #immutability are more viable because they avoid classes of errors and provide detailed compile-time feedback.
2/3

react-book.melange.re/intro/
I love #ocalm.
it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference
- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness