garethrowlands

19 ms·

1. 211.▲
   by garethrowlands 7y ago

   Isn't the memory for memory mapped files backed by the files themselves? Certainly they are on Windows.
2. 212.▲
   by garethrowlands 8y ago

   Often it's best to just express preconditions in the normal types. For example, instead of having a `head-of-list` function that crashes with empty input, define its input to be of type `NonEmptyList`. Refinement types are also worth e
3. 213.▲
   by garethrowlands 8y ago

   There's a book now though, see https://pragprog.com/book/swdddf/domain-modeling-made-functi...