DEV Community

Discussion on: The broken promise of static typing

 
tgelu profile image
Gelu Timoficiuc

I always had the impression that in an ideal world programming would mean some kind of 1-to-1 relationship with discovered principles of math and nature rather than invented languages based on invented principles. Something closer to ideals that are inherently perfect from logic rather than inherently flawed human constructs (not that they are not pragmatic).
In any case, thanks for the resource!

Thread Thread
 
danlebrero profile image
Dan Lebrero

That is the most beautiful thought that I have read in a long time.

Thanks for sharing!