If you are starting your Haskell journey I implore you to focus on the type system.
Types are the roots from which your Haskell knowledge grows.
Haskell has algebraic data types. This is a fancy way of saying that we can create types which are composites of other types. Intuitively we can think of types as sets of values.
| {-# LANGUAGE RecordWildCards #-} | |
| {-# LANGUAGE OverloadedStrings #-} | |
| {-# LANGUAGE TemplateHaskell #-} | |
| module Socket.Table where | |
| import Control.Concurrent hiding ( yield ) | |
| import Control.Concurrent.Async | |
| import Control.Concurrent.STM | |
| import qualified Data.Map.Lazy as M | |
| import Database.Persist.Postgresql | |
| import qualified Network.WebSockets as WS |
| 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 |
“Worry about data quality: Everything rests on the data.” ― David Spiegelhalter, The Art of Statistics: How to Learn from Data
“What am I not being told? This is perhaps the most important question of all.” ― David Spiegelhalter, The Art of Statistics: How to Learn from Data
“The numbers have no way of speaking for themselves. We speak for them. We imbue them with meaning. — Nate Silver, The Signal and the Noise1” ― David Spiegelhalter, The Art of Statistics: Learning from Data
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
| 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, |
