21.7摘录
status
Published
type
Post
slug
21-7-clip
Column
date
Jul 1, 2021
summary
tags
clip
1.大力出奇迹的套娃 2.paxos,永远的神 虽然是短文,但可以一窥工业设计是怎么化未知为已有
People said, you know, what’s the equivalent of UML for Haskell, and after a bit, I realized it’s the types. We don’t need a separate modeling language. The very the first thing you do when you start writing Haskell programs, you start writing type declarations for data types and types or functions, and that is a kind of design language or modeling language that enables you to think about the main pieces of your program, and the data flows, and what goes from from here to there. And it’s not just a modeling language that’s separate, it becomes a machine-checked part of your program in perpetuity. And that idea of involving more and more in types, that thinking, I think, really is pervasive and important to a Haskell programmer.