Awake Security will be livestreaming a periodic 1-on-1 teaching session on Twitch. The subject of this session will always be one of our engineers teaching another one of our engineers how to do accomplish a practical task in Haskell while remote attendees watch, comment, and ask questions.
Mohammad Hasani the-dr-lazy
🃏
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This was only tested against revision ac2d18a7353cd3ac1ba4b5993f2776fe0c5eedc9 | |
| # of https://gitlab.haskell.org/ghc/ghc | |
| let | |
| nixpkgs = builtins.fetchTarball { | |
| url = "https://github.com/NixOS/nixpkgs/archive/7e003d7fb9eff8ecb84405360c75c716cdd1f79f.tar.gz"; | |
| sha256 = "08y8pmz7xa58mrk52nafgnnrryxsmya9qaab3nccg18jifs5gyal"; | |
| }; | |
| config.allowBroken = true; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let fold = https://prelude.dhall-lang.org/List/fold | |
| let filter = https://prelude.dhall-lang.org/List/filter | |
| let equal = https://prelude.dhall-lang.org/Natural/equal | |
| let Obj = <User | Pet | List> | |
| let Key = <Id | Type | Name | Pets | Head | Tail> | |
| let Entry = <Int_: Integer | Bool_: Bool | Double_: Double | Text_: Text | Id_: Natural | Type_: Obj | Nil> | |
| let Row = { ptr: Natural, key: Key, val: Entry } | |
| let Db = List Row |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| On why stateful code is bad | |
| =========================== | |
| STUDENT: Sir, can I ask a question? | |
| TEACHER: Yes! | |
| STUDENT: How do you put an elephant inside a fridge? | |
| TEACHER: I don't know. | |
| STUDENT: It's easy, you just open the fridge and put it in. I have another question! | |
| TEACHER: Ok, ask. | |
| STUDENT: How to put a donkey inside the fridge? |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // go on you labels pages | |
| // eg https://github.com/cssnext/cssnext/labels | |
| // paste this script in your console | |
| // copy the output and now you can import it using https://github.com/popomore/github-labels ! | |
| var labels = []; | |
| [].slice.call(document.querySelectorAll(".label-link")) | |
| .forEach(function(element) { | |
| labels.push({ | |
| name: element.textContent.trim(), |