My first foray into Dependent types in Haskell is going to involve this: http://stackoverflow.com/questions/26027765/using-types-to-prevent-conflicting-port-nu

My first foray into Dependent types in Haskell is going to involve this: http://stackoverflow.com/questions/26027765/using-types-to-prevent-conflicting-port-numbers-in-a-list http://stackoverflow.com/questions/26027765/using-types-to-p... So, that propellor, my configuration management system written and configured in haskell, will reject at compile time configurations for systems where there would be a port conflict amoung the configured services. Which is ever so much nicer than noticing that at runtime. Still wrapping my head fully around dependent types, but the community's great, to the extent of writing the code for me when I ask a simple question. ;)