therewillbecode

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

therewillbecode

module Main where

import Lib

import Data.Char
import Data.Machine


-- newtype CurrPlayerToAct = CurrPlayerToAct String deriving (Eq, Show, Ord)

therewillbecode

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,

therewillbecode

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.

therewillbecode

deep learning

https://colah.github.io/posts/2015-09-NN-Types-FP/

Differentiable programming

https://blog.jle.im/entry/purely-functional-typed-models-1.html

https://fluxml.ai/tutorials/2020/09/15/deep-learning-flux.html

therewillbecode

AI/ML

Automated Theoreom Proving

https://www.youtube.com/watch?v=OLxbIXwpMes

Autoformalisation

https://research.google/pubs/pub49351/

Game theory

therewillbecode

Generics Seminar

Generics are about sitting between a nominal and structural view of types.

Parametric Polymorphism Vs Types Classes Vs Generics

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

therewillbecode

Exceptions

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.

Throw doesn't throw until forced

Due to laziness the order of evaluation of expressions can be modified by the compiler. This means that throw can return an

therewillbecode

“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

therewillbecode

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