Number theory
Primes are the atoms of the integers.
Fundamental theorem of arithmetic
Absolute values and inequalities
Remember to flip inequalities when taking the reciprocal of both sides or multiplying/diving both sides by a negative.
import Hedgehog hiding (Action) | |
data GPlayers (v :: * -> *) = GPlayers (Vector (Var [Action] v)) deriving (Eq, Ord, Show) | |
data GToAct (v :: * -> *) = GToAct (Var (Maybe Int) v) deriving (Eq, Ord, Show) | |
data GModel (v :: * -> *) = GModel (GPlayers v) (GToAct v) deriving (Eq, Ord, Show) | |
initialModel :: forall (v :: * -> *) . GModel v |
module Main where | |
import Lib | |
import Data.Char | |
import Data.Machine | |
-- newtype CurrPlayerToAct = CurrPlayerToAct String deriving (Eq, Show, Ord) |
data User = User { email :: Text } | |
newtype TodoList = TodoList ([UTCTime, Map TodoId Todo]) | |
newtype UserLists = UserLists (Map Email [TodoList]) | |
newtype TodoId = TodoId Int | |
data Todo = Todo | |
{ description :: Description, |
Primes are the atoms of the integers.
Fundamental theorem of arithmetic
Remember to flip inequalities when taking the reciprocal of both sides or multiplying/diving both sides by a negative.
https://www.youtube.com/watch?v=OLxbIXwpMes
https://research.google/pubs/pub49351/
Parametric Polymorpishm - says behave on all types in exactly same way
on the other hand typeclasses is an interface which behaves differently depending on the type
Generics are in between the two extremes
All code that runs in IO can experience exceptions of any type.
Remember you can only catch an exception in IO. But it is possible to throw exceptions from pure code. An example of this is error
.
Due to laziness the order of evaluation of expressions can be modified by the compiler. This means that throw can return an
“Science” in its modern sense means trying to reconcile phenomena into models that are as explanatory and predictive as possible." Alan Kay https://tekkie.wordpress.com/2018/11/09/alan-kays-advice-to-computer-science-students/
"In math we deal in abstractions, and abstractions are best understood from multiple perspectives." http://rationalexpressions.blogspot.com/2013/11/exponents-without-repeated.html
Code by Petzold | |
Nand2Tetris | |
Ben Eater 6502 breadboard project | |
Computerphile how memory works | |
https://www.youtube.com/watch?v=XETZoRYdtkw | |
https://www.youtube.com/watch?v=-Ecf7lb4aZ0 |