程序员常刷题Haskell的出现嘿大家！感谢您花时间阅读我的博客文章。我希望你今天能学到一些东西，祝你圣诞节快乐！我只想先谈谈是什么启发了我写这篇文章。我一直很想了解事物的含义，而且我总是发现自己注意到计算机工程/科学世界中的许多模式和与数学的联系。作为一个充满激情的函数式程序员，我能够更清楚地体验到这个证据，但我觉得大多数人不尊重也不重视这些模式。我越来越关注程序的正确性和规范，以及有哪些工具/方法可以帮助人们构建可靠/正确的软件。其中，我最近接触的一个是指称设计（DD），这正是这篇博文的主题。刚开始了解DD的时候，虽然看到了它的巨大潜力，但也不是很了解，花了很多时间和阅读来处理。该方法的作者Conal Elliott非常善良和耐心，并回答了我的很多问题，我已将其包含在中。话虽如此，我认为人们很难理解为什么你应该关心外延设计所关心的事情，即使你理解，我发现很难吸收这种方法所提供的一切。可用的指称设计资源并不多，您可以从中阅读和学习。然而，很多我钦佩、尊重和仰慕的人，了解它的重要性，并且在某些方面受到其思想的影响。