From 2db13a7b416e95f9a8688c6bb4742a5cf8969521 Mon Sep 17 00:00:00 2001 From: Michael Snoyman Date: Wed, 11 Jan 2017 19:12:49 +0200 Subject: [PATCH] Typo and markdown fixes --- posts.yaml | 2 +- ...xperiment.md => safe-prelude-a-thought-experiment.md} | 9 ++++++--- 2 files changed, 7 insertions(+), 4 deletions(-) rename posts/{safe-prelude-a-thuought-experiment.md => safe-prelude-a-thought-experiment.md} (96%) diff --git a/posts.yaml b/posts.yaml index 7951ad9..2880ecc 100644 --- a/posts.yaml +++ b/posts.yaml @@ -1,4 +1,4 @@ -- file: posts/safe-prelude-a-thuought-experiment.md +- file: posts/safe-prelude-a-thought-experiment.md title: "safe-prelude: a thought experiment" day: 2017-01-16 - file: posts/foldable-mapm-maybe-and-recursive-functions.md diff --git a/posts/safe-prelude-a-thuought-experiment.md b/posts/safe-prelude-a-thought-experiment.md similarity index 96% rename from posts/safe-prelude-a-thuought-experiment.md rename to posts/safe-prelude-a-thought-experiment.md index d99ca04..405e310 100644 --- a/posts/safe-prelude-a-thuought-experiment.md +++ b/posts/safe-prelude-a-thought-experiment.md @@ -38,6 +38,7 @@ but wanted to play with this in the short term. * Use generalization (via type classes) when they are well established. For example: `Foldable` and `Traversable` yes, `MonoFoldable` no. + * _Controversial_ Avoid providing list-specific functions. This connects to the parent point. Most of the time, I'd argue that lists are _not_ the correct choice, and instead a `Vector` @@ -81,10 +82,12 @@ reasoning for some libraries: Packages I considered but have not included yet: * `stm` is an obvious winner, and while I use it constantly, I'm not -convinced everyone else uses it as much as I do. Also, there are some -questions around generalizing its functions (e.g., `atomically` could -be in `MonadIO`), and I don't want to make that decision yet. + convinced everyone else uses it as much as I do. Also, there are some + questions around generalizing its functions (e.g., `atomically` could + be in `MonadIO`), and I don't want to make that decision yet. + * `stm-chans` falls into this category too + * `async` is an amazing library, and in particular the `race`, `concurrently`, and `Concurrently` bits are an easy win. I've left it out for now due to questions of generalizing to