If it were "yesterday's battle", I would have a good programming language to use in my domain, without having to make one. But I don't. Experimenting with mode

If it were "yesterday's battle", I would have a good programming language to use in my domain, without having to make one. But I don't. Experimenting with model-based programming or whatever other future programming paradigm is healthy. I think we should do a lot of that, because the way we program hundreds of years from now hopefully doesn't look that much like today. BUT, you have to also be aware that there's a reason why these are future paradigms and not current paradigms, and that people building real programs today need to do something that works today. There is no way we could have built The Witness in any model-based system known today.