diff options
| author | JJ | 2023-11-26 00:22:57 +0000 |
|---|---|---|
| committer | JJ | 2023-11-26 00:22:57 +0000 |
| commit | 6bd4f091312baca69ec7a984e739e00a208127d5 (patch) | |
| tree | fb499b0dbb6ee5d17d045eeaf504fd875c99fbfc | |
| parent | 4352cbc9df36c1c84bba51ce51a69be7a009d264 (diff) | |
meow
| -rw-r--r-- | computation/effects.md | 3 | ||||
| -rw-r--r-- | computation/monads.md | 8 | ||||
| -rw-r--r-- | computation/networking.md | 5 | ||||
| -rw-r--r-- | computation/patterns.md | 6 | ||||
| -rw-r--r-- | computation/types.md | 4 | ||||
| -rw-r--r-- | mathematics/foundations.md | 2 |
6 files changed, 16 insertions, 12 deletions
diff --git a/computation/effects.md b/computation/effects.md index 50be541..17c558d 100644 --- a/computation/effects.md +++ b/computation/effects.md @@ -25,6 +25,3 @@ languages - [Unison](https://www.unison-lang.org/) - [Effect handlers for WebAssembly](https://wasmfx.dev/) - [Coeffects: Context-aware programming languages](https://tomasp.net/coeffects/) - - -similar to monads, continuations, ... effects provide a generalized mechanism for control flow. diff --git a/computation/monads.md b/computation/monads.md new file mode 100644 index 0000000..c6cc0da --- /dev/null +++ b/computation/monads.md @@ -0,0 +1,8 @@ +--- +layout: computation +title: computation/monads +--- + +# monads + +- [Monads in 300 words](https://lambda.xyz/blog/monads/) diff --git a/computation/networking.md b/computation/networking.md index e2cdccf..a47eee6 100644 --- a/computation/networking.md +++ b/computation/networking.md @@ -7,11 +7,6 @@ title: computation/networking ## routing: IP, DNS -as number? -bgb? -dns? -hmmmm - ## transport: TCP, UDP, QUIC ## content: HTTP, FTP diff --git a/computation/patterns.md b/computation/patterns.md new file mode 100644 index 0000000..6236411 --- /dev/null +++ b/computation/patterns.md @@ -0,0 +1,6 @@ +--- +layout: computation +title: computation/design patterns +--- + +# ways of going about doing things diff --git a/computation/types.md b/computation/types.md index 7231f82..18bc9d2 100644 --- a/computation/types.md +++ b/computation/types.md @@ -6,11 +6,11 @@ title: computation/types # types! ah, wonderous types! posts -- [How should I read type system notation?](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/) +- ✨ [**How should I read type system notation?**](https://langdev.stackexchange.com/questions/2692/how-should-i-read-type-system-notation/) - [Programming Language Theory resources](https://steshaw.org/plt/) books -- [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text +- ✨ [_**Types and Programming Languages**_](https://www.cis.upenn.edu/~bcpierce/tapl/) by Benjamin C. Pierce: the canonical type system text - [_Advanced Topics in Types and Programming Languages_](https://www.cis.upenn.edu/~bcpierce/attapl/) by Benjamin C. Pierce diff --git a/mathematics/foundations.md b/mathematics/foundations.md index 8b16600..9057bea 100644 --- a/mathematics/foundations.md +++ b/mathematics/foundations.md @@ -4,5 +4,3 @@ title: mathematics/foundations --- # foundations - -There is broad overlap in... |