3 ms·
> He chose to use mongodb [...] I find it rather surprising that somebody who uses Haskell, i.e. clearly sees the value of types as an aid for reasoning about
by Tainnor 5y ago
> He chose to use mongodb [...]
I find it rather surprising that somebody who uses Haskell, i.e. clearly sees the value of types as an aid for reasoning about programs, would default to using a schemaless database which gives you essentially zero ways to reason about your data.
It makes much more sense coming from someone who doesn't really like static typing and so prefers run-time, informal reasoning.
- toqy 5y agoHe was using python 2.7 so he would have lost the type safety after he fetched the data anyway
- Tainnor 5y agoThat's not the same thing. There's value in a schema even in a dynamically typed language. For example, if you have a bug in your codebase due to e.g. a runtime type error, you can generally troubleshoot and fix it, but if your data is in an inconsistent state, it may be impossible to fully recover.