From d2f845d7982d305022f4313c0faa343ae11693ad Mon Sep 17 00:00:00 2001 From: JJ Date: Sat, 25 Nov 2023 02:08:46 -0800 Subject: meow --- computation/compilers.md | 7 ++++++- computation/continuations.md | 5 +++++ computation/effects.md | 7 ++++++- computation/memory-management.md | 16 ++++++++++++++++ computation/modules.md | 9 ++++----- 5 files changed, 37 insertions(+), 7 deletions(-) create mode 100644 computation/memory-management.md (limited to 'computation') diff --git a/computation/compilers.md b/computation/compilers.md index b9db36d..8e6ebbf 100644 --- a/computation/compilers.md +++ b/computation/compilers.md @@ -1,7 +1,12 @@ +--- +layout: computation +title: computation/compilers +--- + # compilers articles -- [Compiler Optimizations Are Hard Because They Forget](https://faultlore.com/blah/oops-that-was-important/) +- [Compiler optimizations are hard because they forget](https://faultlore.com/blah/oops-that-was-important/) - [A tutorial on how to write a compiler using LLVM](https://tomassetti.me/a-tutorial-on-how-to-write-a-compiler-using-llvm/) books and courses diff --git a/computation/continuations.md b/computation/continuations.md index 67b8675..b2126f8 100644 --- a/computation/continuations.md +++ b/computation/continuations.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/compilers +--- + # continuations - [nim-works CPS](https://github.com/nim-works/cps/tree/master/docs): diff --git a/computation/effects.md b/computation/effects.md index 98312c5..50be541 100644 --- a/computation/effects.md +++ b/computation/effects.md @@ -1,3 +1,8 @@ +--- +layout: computation +title: computation/effects +--- + # effects posts @@ -5,7 +10,7 @@ posts - [Exotic Programming Ideas: Effect Systems](https://www.stephendiehl.com/posts/exotic03.html) - [Faking algebraic effects and handlers with traits](https://blog.shtsoft.eu/2022/12/22/effect-trait-dp.html) - [From deliminated continuations to algebraic effects](https://blog.poisson.chat/posts/2023-01-02-del-cont-examples.html) -- [OCaml Effects Tutorial](https://github.com/ocaml-multicore/ocaml-effects-tutorial) +- [OCaml effects tutorial](https://github.com/ocaml-multicore/ocaml-effects-tutorial) - [Simple functional effects with tag unions](https://www.youtube.com/watch?v=7SidSvJcPd0) - [Effect bibliography](https://github.com/yallop/effects-bibliography) diff --git a/computation/memory-management.md b/computation/memory-management.md new file mode 100644 index 0000000..b4dc8be --- /dev/null +++ b/computation/memory-management.md @@ -0,0 +1,16 @@ +# memory management + +lobster +- [Memory Management in Lobster](https://aardappel.github.io/lobster/memory_management.html) + +nim +- [ARC/ORC in Nim](https://nim-lang.org/blog/2020/10/15/introduction-to-arc-orc-in-nim.html) +- [ORC in Nim](https://nim-lang.org/blog/2020/12/08/introducing-orc.html) +- [Destructors and Move Semantics in Nim](https://nim-lang.org/docs/destructors.html) +- [Nim's ARC/ORC and Rust's move semantics](https://paste.sr.ht/blob/731278535144f00fb0ecfc41d6ee48513233baa4) + +## reference counting + +## tracing + +## ownership diff --git a/computation/modules.md b/computation/modules.md index 8ec4b61..cde238c 100644 --- a/computation/modules.md +++ b/computation/modules.md @@ -1,9 +1,9 @@ -# Modules +# modules An overarching question I've had that I've been unable to resolve: are ML-style modules any more expressive than a system with: - polymorphic data types - polymorphic interface types -- first-class modules, that are *not* polymorphic (no functors)? +- first-class modules that are *not* polymorphic (no functors)? ## Resources @@ -11,8 +11,7 @@ Papers - [F-ing Modules](https://www.cambridge.org/core/journals/journal-of-functional-programming/article/fing-modules/B573FA00832D55D4878863DE1725D90B) (2014) Posts -- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) - - [Modules Matter Most (presentation)](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf) +- [Modules Matter Most](https://existentialtype.wordpress.com/2011/04/16/modules-matter-most/) (and [slides](http://macqueenfest.cs.uchicago.edu/slides/harper.pdf)) - ['Modules Matter Most' for the Masses](https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html) - [First-Class Modules: An Introduction](https://dev.realworldocaml.org/first-class-modules.html) - [Exotic Programming Ideas: Module Systems](https://www.stephendiehl.com/posts/exotic01.html) @@ -20,5 +19,5 @@ Posts - [UW CSE 341: ML Modules](https://courses.cs.washington.edu/courses/cse341/04wi/lectures/09-ml-modules.html) Books -- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems]() +- [ATTAPL Ch. 8: Design Considerations for ML-style Module Systems](https://annas-archive.org/md5/7175434efd5620b4b117aa45a01777fa) -- cgit v1.2.3-70-g09d2