3 ms·
I don't see how good experimental design could benefit from type theory and such. There is no need for an intersection, just the first group of researchers work
by zzzcpan 9y ago
I don't see how good experimental design could benefit from type theory and such. There is no need for an intersection, just the first group of researchers working on programming language design.
- yorwba 9y agoWell thought-out type systems allow decidable inference. Inference lets you omit details about the program that are already obvious from its structure. Omitting obvious details lets you focus on the important parts. Focus helps creating better programs quicker.