• 息肉

  • 引用31篇文章[sw09131]
  • 息肉-a多型 编程语言扩展。很多函数都要重写。。。因为数据类型在程序,或者因为具有类似功能的函数。。。重写函数等。这样的函数被调用多型功能。A多型函数是函数。。。扩展语言类型检查多型函数,并推断所有其他。。。
  • 多段线

  • 参考6篇文章[sw22194]
  • 多段线–a多型函数库。A多型 程序是一个程序表现一致。。。大类数据类型。功能性多型 编程这种一致性是通过参数化函数实现的。。。功能性编程具有用于定义多型功能。息肉是一种。。。
  • 莫德

  • 引用655篇文章[sw06233]
  • Maude是一种高性能的反思性语言。。。