Similar to サイモン・ペイトン・ジョーンズ
Result型
Result type
SECDマシン
SECD machine
型クラス
Type class
型推論
Type inference
カリー化
Currying
高階関数
Higher-order function
参照透過性
Referential transparency
始代数
Initial algebra
代数的データ型
Algebraic data type
不動点コンビネータ
Fixed-point combinator
無名関数
Anonymous function
モナド (プログラミング)
Monad (functional programming)ラムダ計算
Lambda calculus
王立協会フェロー
Fellow of the Royal Societyサンプソン・アードリー (初代アードリー男爵)
Sampson Eardley, 1st Baron Eardleyアレキサンダー・アームストロング (探検家)
Alexander Armstrong (Royal Navy officer)ウィリアム・アームストロング (初代アームストロング男爵)
William Armstrong, 1st Baron Armstrong
ジェームズ・アイヴォリー (数学者)
James Ivory (mathematician)
アリック・アイザックス
Alick Isaacs▼-1 trends
エリック・アシュビー
Eric Ashby, Baron Ashby
アントニー・アシュリー＝クーパー (第4代シャフツベリ伯爵)
Anthony Ashley Cooper, 4th Earl of Shaftesburyアントニー・アシュリー＝クーパー (第5代シャフツベリ伯爵)
Anthony Ashley-Cooper, 5th Earl of Shaftesbury
ウィリアム・アストベリー
William Astbury
ミシェル・アダンソン
Michel Adanson
ロバート・アダム
Robert Adam
ジョン・クーチ・アダムズ
John Couch Adams
ジョン・フィッツパトリック (第2代アッパー・オソリー伯爵)
John FitzPatrick, 2nd Earl of Upper Ossoryエドワード・アップルトン
Edward Appleton
