Re:A Rust Contributor Tries Their Hand at Go
by innguest on Thursday April 30, 2015 @01:40PM
(#9466483)
I very much agree with you.
A zip code is a string even though it looks like a number.
Likewise C/Java/Go "types" are tags even though they look like types. Real types are numbers that obey type algebra, which C/Java/Go have no idea exists.
A zip code is a string even though it looks like a number.
Likewise C/Java/Go "types" are tags even though they look like types. Real types are numbers that obey type algebra, which C/Java/Go have no idea exists.
The Algebra of Algebraic Data Types: https://www.youtube.com/watch?v=YScIPA8RbVE