[B! anonymous-function][first-class-function] nabinnoのブックマーク

nabinno id:nabinno

anonymous-functionとfirst-class-functionに関するnabinnoのブックマーク (3)

First class functions in Go
nabinno 2019/08/12
stack-overflow

go

first-class-function

anonymous-function
リンク
First Class Functions
Welcome to tutorial no. 34 in Golang tutorial series. What are first class functions? A language that supports first class functions allows functions to be assigned to variables, passed as arguments to other functions and returned from other functions. Go has support for first class functions. In this tutorial, we will discuss the syntax and various use cases of first class functions. Anonymous fu
nabinno 2019/08/09
go

func

function

anonymous-function

first-class-function

iterator
リンク
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月）ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
nabinno 2012/03/20
lambda-calculus

model-of-computation

lisp

haskell

anonymous-function

first-class-function
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx