Comment on There's more to mathematics than rigour and proofs (2007)parentComments−richrichie2yAlso (in C++ lingo):1. Start by writing programs with vectors and maps.2. Learn all about data structures, algorithms, cache misses, memory efficiency etc3. And then write programs with vectors and maps.−jbandela12y3. And then write programs with vectors and maps.But the maps this time are absl::flat_hash_map (or another C++ alternative hash map such as Folly F14, etc) instead of std::map (or even std::unordered_map).−jiiam2yAlso in Haskell:1. Start by doing everything in ReaderT Env IO2. Learn all about mtl (or monad transformers, free monads, freer monads, algebraic effects, whatever)3. Do everything in ReaderT Env IO
Comments
Also (in C++ lingo):
1. Start by writing programs with vectors and maps.
2. Learn all about data structures, algorithms, cache misses, memory efficiency etc
3. And then write programs with vectors and maps.
But the maps this time are absl::flat_hash_map (or another C++ alternative hash map such as Folly F14, etc) instead of std::map (or even std::unordered_map).
Also in Haskell:
1. Start by doing everything in ReaderT Env IO
2. Learn all about mtl (or monad transformers, free monads, freer monads, algebraic effects, whatever)
3. Do everything in ReaderT Env IO