Conversation

All I know is that it's a hard problem that I bounced back and forth on over the years and never ended up satisfied. I'm beginning to think that languages themselves need better support for helping users to move from the concrete to the abstract as they learn a domain.
1
1
what languages do you find to be a good example for this? or are you talking about hypothetical future langs?
1
Hypothetical future languages, alas. I'm messing around with a language experiment, which should make fancier module stuff easier to understand than Rust's traits, but I haven't yet thought about solutions to the teaching problem. Shows up in Rust, Haskell, OCaml, Scala... etc.
1
1