Template Haskell

来自维基百科，自由的百科全书

Found in articles

成編譯期的執行。這種技術被許多語言使用，最為知名的當屬C++，其他還有Curl、D、Eiffel，以及语言扩展，如Template Haskell（英语：Template Haskell）。使用模板作為元编程的技術需要兩階段的操作。首先，模板必須被定義；第二，定義的模板必須被實體化才行。

Filter (高阶函数)

iterable if function] 在Python2中filter返回一个list，而在Python3中filter返回一个迭代器对象。在Haskell中，filter可以如下这样实现： filter :: (a -> Bool) -> [a] -> [a] filter _ [] = [] filter

泛型编程

Eiffel、Java、C#、F#、Swift 和 Visual Basic .NET 称之为泛型（generics）；ML、Scala 和 Haskell 称之为参数多态（parametric polymorphism）；C++ 和 D称之为模板。具有广泛影响的1994年版的《Design

列表推导式

Functional Programming: 1–10. 2000. Haskell The Haskell 98 Report, chapter 3.11 List Comprehensions. The Glorious Glasgow Haskell Compilation System User's Guide

元编程

DMS软件再造工具包意图编程 Joose（JavaScript） Moose (Perl) Nemerle Stratego/XT Template Haskell Code generation Vs Metaprogramming （页面存档备份，存于互联网档案馆） The Art of Enterprise