joeyh at
Have built up 2 days of work, 600+ lines of code, and have only checked that it compiles. But, I have a pretty reasonable expectation that it will mostly work on the first try when I do get around to running it.
I've been doing this kind of thing for about 2 years now successfully.
At any point in the previous 20+ years of programming, I would have felt it was utterly insane to work this way.
Of course, until 5 years ago, most of the code I wrote used approximately the same 3 or fewer data types (String, Hash, Int) over and over. My 600 lines of code use 12 custom types created and tuned to express properties of the problem the code is solving (and avoid bad solutions), and also leverages dozens of other more general types.
Types are proofs, and I am only starting to learn how to really leverage that.
I've been doing this kind of thing for about 2 years now successfully.
At any point in the previous 20+ years of programming, I would have felt it was utterly insane to work this way.
Of course, until 5 years ago, most of the code I wrote used approximately the same 3 or fewer data types (String, Hash, Int) over and over. My 600 lines of code use 12 custom types created and tuned to express properties of the problem the code is solving (and avoid bad solutions), and also leverages dozens of other more general types.
Types are proofs, and I am only starting to learn how to really leverage that.
Greg Grossmeier, Artopal, Amitai Schleier, Olivier Mehani and 2 others likes this.
Amitai Schleier shared this.