Unlambda - Wikipedia組ã¿è¾¼ã¿é–¢æ•°ã®ä¸€è¦§ã¯ä»¥ä¸‹ã®é€šã‚Šã€‚ ` 関数é©ç”¨ s SKIコンビãƒãƒ¼ã‚¿è¨ˆç®—ã®S k SKIコンビãƒãƒ¼ã‚¿è¨ˆç®—ã®K i SKIコンビãƒãƒ¼ã‚¿è¨ˆç®—ã®I v 引数を無視ã—㦠v を返㙠d 厳密ã«ã¯é–¢æ•°ã¨ã„ã†ã‚ˆã‚Šã‚‚特殊形å¼ã§ã€è©•ä¾¡ã‚’é…延ã—ã€2回目ã®è©•ä¾¡ã®æ™‚ã«åˆã‚ã¦è©•ä¾¡ã™ã‚‹ c 継続。call-with-current-continuation。 e 継続を無視ã—ã€ãƒ—ãƒã‚°ãƒ©ãƒ を終了ã•ã›ã‚‹ r 改行を表示ã—ã€å¾Œã¯Iã¨åŒã˜æŒ¯ã‚‹èˆžã„ . 引数ã®æ–‡å—を表示ã—ã€å¾Œã¯Iã¨åŒã˜æŒ¯ã‚‹èˆžã„ @ 標準入力ã‹ã‚‰1æ–‡å—èªã¿è¾¼ã‚€ ? 標準入力ã‹ã‚‰1æ–‡å—èªã¿è¾¼ã¿ã€å¼•æ•°ã¨æ¯”較ã™ã‚‹ | 標準入力ã‹ã‚‰1æ–‡å—èªã¿è¾¼ã¿ã€è¡¨ç¤ºã™ã‚‹ 「.Hã€ã‚„「.eã€ãªã©ã®ã€ã€Œ.Aã€ã§è¡¨ã•ã‚Œã‚‹ã‚‚ã®ã¯æ’ç‰é–¢æ•° (引数ã¨ã—ã¦ä¸Žãˆã‚‰ã‚ŒãŸå€¤ã‚’å…¨ã変更ã›ãšã«ãã®ã¾ã¾è¿”ã™é–¢æ•°) ã§ã€å‰¯ä½œç”¨ã¨ã—ã¦ã€ŒAã€ã‚’表示ã™ã‚‹ã‚‚ã®ã§ã‚る。「iã€ã¯å‰¯ä½œç”¨ã‚’ä¼´ã‚ãªã„æ’ç‰é–¢æ•°ã§ã‚る。上述ã®
http://www.sakurai.comp.ae.keio.ac.jp/classes/DENDAI/2009/08-1Lambda.pdf
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2007_SS/typed.pdf
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/2007_SS/syntax.pdf
Church numerals and Lambda Calculus
ラムダ計算 λ...
{{#tags}}- {{label}}
{{/tags}}