Subscribed unsubscribe Subscribe Subscribe

さけるチーズを避けるチーズによるラムダ計算・Lazy K入門

純粋関数型言語「さけるチーズ」とは、難解プログラミング言語「Lazy K」の文法に束縛変数を導入することでラムダ計算風にし、自然言語的に意味が通るように文法を直した言語です: woodrush.hatenablog.comこの記事では、「さけるチーズ」を用いてチャーチ…

さけるチーズを避けるチーズで作る関数型言語

最近、「裂けてるさけるチーズを裂けて避けるチーズが載ってる裂けてる地図を裂けて避けるチーズ」が話題になりました。 togetter.com「さけるチーズを避けるチーズ」において、チーズがさけるチーズを避けた結果、残るのはチーズ。 「さけるチーズを避ける…