Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org#NikitaVolkov #Haskell « Internal convention is a mistake »
« Something obviously is wrong in this situation. We establish rules for a viable reason and then we establish a culture of breaking them. Why? Is there really no other way to approach the problem? »
https://nikita-volkov.github.io/internal-convention-is-a-mistake/
Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org#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/
#haskell #nikitavolkov #refinementtypes #smartconstructor #stm #hamt #tvar