百科问答小站 logo
百科问答小站 font logo



什么是 Type Driven Development ? 第1页

  

user avatar   be5invis 网友的相关建议: 
      

EB 那本书里的吧,一言以概,Test-driven development 用测试约束程序行为,Type-driven 用(复杂的)类型系统约束程序行为,让编译器强迫你按照某种「正确」方式实现出来。

为什么其他语言不这么干呢?因为它们的类型机制没有强到可以描述逻辑。

Type-driven development is a style of programming in which we write types first and use those types to guide the definition of functions. The overall process is to write the necessary data types, and then, for each function, do the following:
- Write the input and output types.
- Define the function, using the structure of the input types to guide the implementation.
- Refine and edit the type and function definition as necessary.



  

相关话题

  既然大多数开发团队没有能力对开源项目进行 review,那么开放源代码与否对于他们有什么意义? 
  普惠AI时代即将来临,开发者如何向AI开发转型? 
  请各位前辈指导下简练代码的思路? 
  你对C#最绝望的时刻是什么? 
  不同编程语言的程序员之间有鄙视链么? 
  应该如何理解 Erlang 的「任其崩溃」思想? 
  为什么程序员的工资比其他行业高这么多? 
  如何做好小团队的开发规范? 
  程序员如何快速工资翻倍? 
  2021年你读了哪些觉得比较好的计算机书籍? 

前一个讨论
为什么 C 语言 sqrt 函数参数不支持 int?
下一个讨论
带着100台iPhone X突如其来穿越回1997年,怎样靠这个(严格限制)发家致富(不要抖机灵)?





© 2025-03-30 - tinynew.org. All Rights Reserved.
© 2025-03-30 - tinynew.org. 保留所有权利