[B! Scheme] clairvyã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

clairvy id:clairvy

Schemeã«é–¢ã™ã‚‹clairvyã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (5)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

48æ™‚é–“ã§Schemeã‚’æ›¸ã“ã† - Wikibooks
Webä¸Šã«ã‚ã‚‹ã»ã¨ã‚“ã©ã®Haskellãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯è¨€èªžã«ã¤ã„ã¦ã®ãƒžãƒ‹ãƒ¥ã‚¢ãƒ«ã®ã‚ˆã†ãªæ•™ãˆæ–¹ã‚’ã—ã‚ˆã†ã¨ã—ã¦ã„ã‚‹ã‚ˆã†ã§ã™ã€‚ãã‚Œã‚‰ã«ã¯è¨€èªžã®æ–‡æ³•ã€æ¦‚å¿µãŒå°‘ã—è¼‰ã£ã¦ã„ã¦ã€èªè€…ã«å¯¾è©±ç’°å¢ƒã§ã„ãã¤ã‹ã®ç°¡å˜ãªé–¢æ•°ã‚’ä½œã‚‹ã‚ˆã†ã«æŒ‡ç¤ºã—ã¾ã™ã€‚ã‚ˆãæ©Ÿèƒ½ã™ã‚‹æœ‰ç”¨ãªãƒ—ãƒã‚°ãƒ©ãƒ ã®æ›¸ãæ–¹ã¯å¤§æŠµæœ€å¾Œã«ã¾ã‚ã•ã‚Œã‚‹ã‹ã€ãã‚‚ãã‚‚çœã‹ã‚Œã¦ã„ãŸã‚Šã—ã¾ã™ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã¯é•ã†æ–¹é‡ã‚’å–ã‚Šã¾ã™ã€‚ã‚³ãƒžãƒ³ãƒ‰ãƒ©ã‚¤ãƒ³å¼•æ•°è§£æžã‹ã‚‰å§‹ã‚ã¦ã€å®Œå…¨ã«æ©Ÿèƒ½ã™ã‚‹R5RS Schemeã®ã‹ãªã‚Šå¤§ããªã‚µãƒ–ã‚»ãƒƒãƒˆã®å®Ÿè£…ã¾ã§é€²ã¿ã¾ã™ã€‚é“ã™ãŒã‚‰ã€Haskellã®æŒã¤I/Oã€mutable stateã€dynamic typingã€ã‚¨ãƒ©ãƒ¼å‡¦ç†ã€ãã—ã¦æ§‹æ–‡è§£æžæ©Ÿèƒ½ã‚’å¦ã³ã¾ã™ã€‚ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã‚’çµ‚ãˆã‚‹é ƒã«ã¯ã€ã‚ãªãŸã¯Haskellã¨Schemeä¸¡æ–¹ãŒã‹ãªã‚Šè‰¯ãã‚ã‹ã‚‹ã‚ˆã†ã«ãªã£ã¦ã„ã‚‹ã¯ãšã§ã™ã€‚ ã“ã®ãƒãƒ¥ãƒ¼ãƒˆãƒªã‚¢ãƒ«ã®å¯¾è±¡èªè€…ã¯ä¸»ã«ä»¥ä¸‹ã®2ç¨®é¡žã§ã™ã€‚ Lispã‹Sch
clairvy 2014/09/07
Scheme

haskell
ãƒªãƒ³ã‚¯
Scheme å…¥é–€ 16. ç¶™ç¶š
1. åˆã‚ã« ä»Šå›žã¯ Scheme ã®ç‰¹å¾´çš„ãªãƒ‡ãƒ¼ã‚¿åž‹ã§ã‚ã‚‹ç¶™ç¶šã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚ ã“ã®ãƒ‡ãƒ¼ã‚¿åž‹ã¯ä»–ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã«ã¯ç„¡ã„ã®ã§ç†è§£ã™ã‚‹ã®ã¯æ˜“ã—ããªã„ã‹ã‚‚ã—ã‚Œã¾ã›ã‚“ã€‚ ã¨ã‚Šã‚ãˆãšã€æ„Ÿã˜ã‚’ã¤ã‹ã‚“ã§ã„ãŸã ã‘ã‚Œã°çµæ§‹ã§ã™ã€‚ ã“ã®æ–‡æ›¸ã§ã¯ã€ã¾ãšä¸€èˆ¬çš„ãªç¶™ç¶šã«ã¤ã„ã¦èª¬æ˜Žã—ã€ãã‚Œã‹ã‚‰ Scheme ã®ç¶™ç¶šã«ã¤ã„ã¦èª¬æ˜Žã—ã¾ã™ã€‚ å¤šãã®è§£èª¬æ›¸ã§ã¯ã¾ãš Scheme ã®ç¶™ç¶šã«ã¤ã„ã¦èª¬æ˜Žã—ã¦ã‹ã‚‰ã€ç¶™ç¶šæ¸¡ã—ã‚¹ã‚¿ã‚¤ãƒ«ã«ã¤ã„ã¦èª¬æ˜Žã—ã¦ã„ã¾ã™ãŒã€ å…ˆã«ç¶™ç¶šæ¸¡ã—ã‚¹ã‚¿ã‚¤ãƒ«ã«ã¤ã„ã¦èª¬æ˜Žã—ãŸã»ã†ãŒã€ãªãœ Scheme ã«ç¶™ç¶šã¨ã„ã†ãƒ‡ãƒ¼ã‚¿åž‹ãŒã‚ã‚‹ã®ã‹ãŒã‚ã‹ã‚Šã‚„ã™ã„ã¨æ€ã„ã¾ã™ã€‚ 2. ç¶™ç¶šã¨ã¯ ç¶™ç¶šã¨ã¯ãƒˆãƒƒãƒ—ãƒ¬ãƒ™ãƒ«ã«æˆ»ã£ã¦ãã‚‹ã¾ã§ã«ã—ãªã‘ã‚Œã°ãªã‚‰ãªã„è¨ˆç®—ã§ã™ã€‚ å®Ÿã¯ã€ç¶™ç¶šã¯è¨ˆç®—éŽç¨‹ã«ãŠã„ã¦æ™®éçš„ã«å˜åœ¨ã—ã¾ã™ãŒã€æ˜Žç¤ºçš„ã«æ‰±ã‚ã‚Œã‚‹ã“ã¨ãŒå°‘ãªã„ãŸã‚ã€ ãªã˜ã¿ã®ãªã„æ¦‚å¿µã«ãªã£ã¦ã„ã¾ã™ã€‚ä¾‹ãˆã°ã€[example 1] ã‚’è¦‹ã¦ã¿ã‚‹ã¨ã€
clairvy 2013/06/22
Scheme

ç¶™ç¶š
ãƒªãƒ³ã‚¯
LISPMEMO
LISPUSERLISPM EMOLisp is a programmable programming language. -- John Foderaro Emacs Lisp ã¯ (Scheme ã‚ˆã‚Šã¯) Common Lisp ã«è¿‘ã„ã€ã¨ã„ã†ã“ã¨ã‹ã¨æ€ã„ã¾ã™ã€‚ ä»¥ä¸‹ç†ç”±: çœŸå½: T, NIL ã§ Scheme æ—ã§ã¯ãªã„ åŸºæœ¬ãŒåå¾©ã€‚Schemer ãŒä½¿ã†ã¨ã»ã¼é–“é•ã„ãªãå†å¸°ãŒæ·±éŽãŽã¨ã„ã†ã‚¨ãƒ©ãƒ¼ãŒã§ã‚‹ Lisp-2 : å¤‰æ•°ã¨é–¢æ•°ã®åå‰ç©ºé–“ãŒåˆ¥ (let ((car '(it em))) (car car)) => it em ãƒ€ã‚¤ãƒŠãƒŸãƒƒã‚¯ã‚¹ã‚³ãƒ¼ãƒ— (CLã¯ãƒ¬ã‚ã‚·ã‚«ãƒ«ã‚¹ã‚³ãƒ¼ãƒ—ã¨ãƒ€ã‚¤ãƒŠãƒŸãƒƒã‚¯ã‚¹ã‚³ãƒ¼ãƒ—ã€Schemeã¯åŸºæœ¬ãƒ¬ã‚ã‚·ã‚«ãƒ«ã®ã¿) ãƒžã‚¯ãƒãŒä¼çµ±çš„ãª defmacro ç ´å£Šçš„æ“ä½œã‚’æã‚Œãªã„ (ã‚€ã—ã‚æŽ¨å¥¨)ã€‚å‘½åè¦å‰‡ã‚‚ nrevse ã¨ã‹ã€‚ ä¼çµ±çš„ã«é–¢æ•°åž‹ã£ã½ãæ›¸ãäº‹ã‚’é‡è¦–ã—ãªã„ Comm
clairvy 2010/02/26
ã‚ã‚Šãˆã‚“

Emacs

Scheme

Common Lisp
ãƒªãƒ³ã‚¯
éƒ¨åˆ†ç¶™ç¶šã«ã¤ã„ã¦æœ¬æ°—å‡ºã—ã¦è€ƒãˆã¦ã¿ãŸ - (new Hatena).blog()
ä»¥å‰ä½•åº¦ã‹éƒ¨åˆ†ç¶™ç¶šã«ã¤ã„ã¦æ›¸ã„ãŸã“ã¨ãŒã‚ã‚‹ã‚“ã§ã™ãŒã€å½“æ™‚ã¯è¡¨é¢çš„ãªæŒ¯ã‚‹èˆžã„ã‚’è¦³å¯Ÿã—ã¦ä½•ã¨ãªãåˆ†ã‹ã£ãŸæ°—ã«ãªã£ãŸç¨‹åº¦ã®æ‹™ã„èª¬æ˜Žã—ã‹å‡ºæ¥ã¾ã›ã‚“ã§ã—ãŸã€‚ ãã®ä¸Šã€æœ€è¿‘ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã‚‚ã»ã¨ã‚“ã©æ´»ç”¨ã—ã¦ãŠã‚‰ãšã€æ”¹ã‚ã¦ç†è§£ã—ç›´ã™å¿…è¦ã‚’æ„Ÿã˜ã¦ããŸæ¬¡ç¬¬ã§ã™ã€‚ ãã“ã§ä»Šå›žã¯ã€éƒ¨åˆ†ç¶™ç¶šã®æ¦‚å¿µçš„ãªç†è§£ã‚’ç›®æŒ‡ã—ã€åŸºç¤Žçš„ãªäº‹æŸ„ã‚’ä¸å¿ƒã«ã¾ã¨ã‚ã¦ã„ããŸã„ã¨æ€ã„ã¾ã™ã€‚ åŸºæœ¬çš„ã« PLT Scheme (MzScheme) ã®è©•ä¾¡ãƒ¢ãƒ‡ãƒ«ã«å³ã—ã¦æ›¸ã„ã¦ã„ããŸã‚ã€Scheme ä¸€èˆ¬ã«å½“ã¦ã¯ã¾ã‚‹è©±ã«ãªã£ã¦ã„ãªã„éƒ¨åˆ†ã‚‚ã‚ã‚‹ã‹ã‚‚çŸ¥ã‚Œã¾ã›ã‚“ã€‚ãã®ç‚¹ã”äº†æ‰¿ãã ã•ã„ã€‚ Redex ã¨ç¶™ç¶š Scheme ã®è©•ä¾¡ãƒ¢ãƒ‡ãƒ«ã«ãŠã„ã¦ã€ (+ 1 (+ 2 0))ã¨ã„ã†å¼ã‚’è©•ä¾¡ã™ã‚‹ã¨ãã€ã¾ãš (+ 2 0)ã®éƒ¨åˆ†ãŒè©•ä¾¡ã•ã‚Œã€ãã®çµæžœã®å€¤ã«å¯¾ã—ã¦ (+ 1 [])ã¨ã„ã†æ®‹ã‚Šã®è¨ˆç®—ãŒè¡Œã‚ã‚Œã¾ã™ã€‚ ã“ã“ã§è§’æ‹¬å¼§ã§ç¤ºã—ãŸéƒ¨åˆ†ã‚’ reducible exp
clairvy 2009/11/24
éƒ¨åˆ†ç¶™ç¶š

continuation

Scheme
ãƒªãƒ³ã‚¯
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ - ã¯ã¦ãªã®å‘ŠçŸ¥
ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®çµ‚äº†æ—¥ã‚’2020å¹´1æœˆ31æ—¥(é‡‘)ã«æ±ºå®šã—ã¾ã—ãŸ ä»¥ä¸‹ã®ã‚¨ãƒ³ãƒˆãƒªã®é€šã‚Šã€ä»Šå¹´æœ«ã‚’ç›®å‡¦ã«ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã‚’çµ‚äº†äºˆå®šã§ã‚ã‚‹æ—¨ã‚’ãŠçŸ¥ã‚‰ã›ã—ã¦ãŠã‚Šã¾ã—ãŸã€‚ 2019å¹´æœ«ã‚’ç›®å‡¦ã«ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®æä¾›ã‚’çµ‚äº†ã™ã‚‹äºˆå®šã§ã™ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã“ã®ãŸã³ã€æ£å¼ã«çµ‚äº†æ—¥ã‚’æ±ºå®šã„ãŸã—ã¾ã—ãŸã®ã§ã€ä»¥ä¸‹ã®é€šã‚Šã”ç¢ºèªãã ã•ã„ã€‚ çµ‚äº†æ—¥: 2020å¹´1æœˆ31æ—¥(é‡‘) ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆå¸Œæœ›ç”³è«‹æœŸé™:2020å¹´1æœˆ31æ—¥(é‡‘) çµ‚äº†æ—¥ä»¥é™ã¯ã€ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã®é–²è¦§ãŠã‚ˆã³æŠ•ç¨¿ã¯è¡Œãˆã¾ã›ã‚“ã€‚æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãŒå¿…è¦ãªæ–¹ã¯ä»¥ä¸‹ã®è¨˜äº‹ã«ã—ãŸãŒã£ã¦æ‰‹ç¶šãã‚’ã—ã¦ãã ã•ã„ã€‚ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—ã«æŠ•ç¨¿ã•ã‚ŒãŸæ—¥è¨˜ãƒ‡ãƒ¼ã‚¿ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆã«ã¤ã„ã¦ - ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ ã”åˆ©ç”¨ã®ã¿ãªã•ã¾ã«ã¯ã”è¿·æƒ‘ã‚’ãŠã‹ã‘ã„ãŸã—ã¾ã™ãŒã€ã©ã†ãžã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ 2020-06-25 è¿½è¨˜ ã¯ã¦ãªã‚°ãƒ«ãƒ¼ãƒ—æ—¥è¨˜ã®ã‚¨ã‚¯ã‚¹ãƒãƒ¼ãƒˆãƒ‡ãƒ¼ã‚¿ã¯2020å¹´2æœˆ28
clairvy 2008/10/29
Scheme

SICP
ãƒªãƒ³ã‚¯
1