#Haskell
#NikitaVolkov : « refined: #RefinementTypes with static and runtime checking »
« #SmartConstructor is a pattern. What is the right thing to do when you spot one? Right! Abstract. »
https://nikita-volkov.github.io/refined/

#NikitaVolkov : « stm-containers: Containers for #STM »
« As the current project proves #HAMT also is a perfect candidate to implement the #STM hash table based on. Essentially all we need to change about it is just place the nodes of the trie in #TVar s. »
https://nikita-volkov.github.io/stm-containers/