News for hackers. Stuff that matters.

A comment on There's more to mathematics than rigour and proofs. Parent comment

Re:There's more to mathematics than rigour and proofs by richrichie on Wednesday June 19, 2024 @11:32AM (#40729213)
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.

[ Parent | on HN ]
Re:There's more to mathematics than rigour and proofs by jbandela1 on Wednesday June 19, 2024 @11:59AM (#40729520)
> 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).

[ Parent | on HN ]
Re:There's more to mathematics than rigour and proofs by jiiam on Wednesday June 19, 2024 @11:57AM (#40729502)
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

[ Parent | on HN ]