Niyarin's blog
Lisp Advent Calendar 2019 ã®4日目ã®è¨˜äº‹ã§ã™ã€‚ ãŠãã‚Œã¦ã™ã¿ã¾ã›ã‚“。(ä¸è¶³ã‚’æ„Ÿã˜ã¦ã„ã‚‹ã®ã§ãŸã¶ã‚“ã‚ã¨ã§ã“ã®è¨˜äº‹ã¯åŠ ç†ã•ã‚Œã¾ã™ã€‚) ã•ã¦ã€ä»Šå¹´Scheme界隈ã§ã®å¤§ããªå‡ºæ¥äº‹ã®ä¸€ã¤ã¯ChezãŒRacketã®ã‚³ã‚¢ã«å°Žå…¥ã•ã‚ŒãŸã“ã¨ã§ã™ã€‚ãªã®ã§Chez関連ã®ãªã«ã‹ã®è¨˜äº‹ã‚’書ã“ã†ã¨æ€ã„ã¾ã—ã¦ã€Chezã®call/ccã®å®Ÿè£…è«–æ–‡ã®stack.pdfã®ç´¹ä»‹ã‚’ã—ã¾ã™ã€‚継続実装ã¨ã—ã¦ã¯ã€ã‚¹ã‚¿ãƒƒã‚¯ã®ã‚³ãƒ”ーやCPS変æ›ã¨ã„ã£ãŸæ–¹é‡ãŒã‚ã‚Šã¾ã™ãŒã€Chezã¯ã‚¹ã‚¿ãƒƒã‚¯ã‚³ãƒ”ーã™ã‚‹æ–¹ã‚’採用ã—ã¦ã„ã¾ã™ã€‚通常継続ã®ã‚³ãƒ”ーã¯ã‚¹ã‚¿ãƒƒã‚¯ã®é•·ã•ã«ä¾å˜ã—ãŸæ™‚é–“ãŒå¿…è¦ã ã£ãŸã®ãŒã€Chezã®å®Ÿè£…ã ã¨ã‚³ãƒ”ーを行ã‚ãªã„ãŸã‚ã€å®šæ•°æ™‚é–“ã§ç¶™ç¶šã®ä½œæˆãŒã§ãã¾ã™ã€‚スタックコピー型ã®ç¶™ç¶šå®Ÿè£…通常ã®ãƒ—ãƒã‚°ãƒ©ãƒ 言語ã®å ´åˆã€é–¢æ•°ã‚’呼ã³å‡ºã—ãŸæ™‚スタックã«ãƒªã‚¿ãƒ¼ãƒ³ã‚¢ãƒ‰ãƒ¬ã‚¹ã‚„ãƒãƒ¼ã‚«ãƒ«å¤‰æ•°ãŒå«ã¾ã‚ŒãŸãƒ•ãƒ¬ãƒ¼ãƒ ãŒãƒ—ッシュã•ã‚Œã€ãƒªã‚¿ãƒ¼ãƒ³æ™‚ã«ãƒãƒƒãƒ—
R5RSã®formal semanticsã‚’OCamlã§æ›¸ã„ãŸ
R5RSã®formal semanticsã‚’OCamlã§æ›¸ã„㟠背景 bitã®ãƒãƒƒã‚¯ãƒŠãƒ³ãƒãƒ¼ã‚’èªã‚“ã§ã„ãŸã‚‰è¦‹ã¤ã‘㟠「プãƒã‚°ãƒ©ãƒ 検証入門ã€ã¨ã„ã†è¨˜äº‹ï¼ˆ1980å¹´9月〜12月å·æŽ²è¼‰ï¼‰ãŒéžå¸¸ã«é¢ç™½ã‹ã£ãŸã€‚ ãã®è¨˜äº‹ã«å‚考文献ã¨ã—ã¦è¼‰ã£ã¦ã„㟠「数ç†æƒ…å ±å¦å…¥é–€â€•ã‚¹ã‚³ãƒƒãƒˆãƒ»ãƒ—ãƒã‚°ãƒ©ãƒ ç†è«–ã€ã¨ã„ã†æœ¬ã‚’è²·ã£ã¦ã¿ãŸã‚‰ã€ ã“ã‚Œã¾ãŸã™ã”ãé¢ç™½ã‹ã£ãŸã€‚ ã“ã®æœ¬ã§ä½¿ã£ã¦ã„る記å·ãŒã€R5RSã®formal semanticsã§ä½¿ã£ã¦ã„る記å·ã¨ 大体åŒã˜ã§ã‚ã‚‹ã“ã¨ã‚’æ€ã„出ã—ã€R5RSã®formal semanticsã‚’èªã¿ç›´ã—ã¦ã¿ãŸã‚‰ã€ 以å‰ã‚ˆã‚Šã—ã£ã‹ã‚Šç†è§£ã§ãã¦ã€ã“ã‚Œã¾ãŸéžå¸¸ã«æ¥½ã—ã‹ã£ãŸã€‚ 楽ã—ã‹ã£ãŸã®ã ãŒã€ call-with-valuesã®å®šç¾© ãŒãŠã‹ã—ã„ã“ã¨ã«æ°—ã¥ã„ãŸã€‚ cwv: E* -> K -> C [call-with-values] cwv = twoarg(λε1ε2κ.applicate ε1
独習 Scheme 三週間 Teach Yourself Scheme in Fixnum Days
A practical introduction to the programming language Scheme
ã‚‚ã†ã²ã¨ã¤ã® Scheme 入門
勾é…ã®ç·©ã‚„ã‹ãªåˆå¿ƒè€…å‘ã‘ Scheme 入門ページã§ã™ã€‚ コンピュータã¯ä½¿ã£ãŸã“ã¨ãŒã‚ã‚‹ãŒã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çµŒé¨“ãŒã‚ã¾ã‚Šãªã„人を想定ã—ã¦ã„ã¾ã™ã€‚ Scheme ã®è§£èª¬ã¯ã™ã§ã«å±±ã»ã©å„ªã‚ŒãŸã‚‚ã®ãŒã‚ã‚Šã¾ã™ãŒã€ã‚ãˆã¦è§£èª¬è¨˜äº‹ã‚’書ã„ã¦ã¿ã¾ã—ãŸã€‚ Scheme ã®ã‚ˆã†ãªæŠ½è±¡çš„ãªè©±é¡Œã¯æ³¢é•·ãŒåˆãˆã°ã™ã‚“ãªã‚Šã¨ç†è§£ã§ãã¾ã™ãŒã€ã‚ã‚ãªã„ã¨å…¨ãç†è§£ã§ãã¾ã›ã‚“。 ä»–ã®è§£èª¬ã‚’èªã‚“ã§ä»Šã²ã¨ã¤ã‚ˆãç†è§£ã§ããªã‹ã£ãŸäººã¯è©¦ã—ã«èªã‚“ã§ã¿ã¦ãã ã•ã„。 ã“ã®è¨˜äº‹ã®ç›®æ¨™ã¯ã‚³ãƒ³ãƒ”ュータ科å¦ã®æ•™ç§‘書ã®æ±ºå®šç‰ˆã§ã‚ã‚‹ SICP ã‚’èªã‚る程度㮠Scheme ã®çŸ¥è˜ã‚’æä¾›ã™ã‚‹ã“ã¨ã§ã™ã€‚ 目次: 処ç†ç³»ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« Scheme ã‚’é›»å“代ã‚ã‚Šã«ä½¿ã† リストを作ã‚ㆠ関数を定義ã—ã‚ˆã† åˆ†å² å±€æ‰€å¤‰æ•° 繰り返㗠高階関数 入出力 代入 æ–‡å—ã€æ–‡å—列 シンボル型 連想リストã€ãƒãƒƒã‚·ãƒ¥è¡¨ ベクトルã¨æ§‹é€ 体 構文ã®å®šç¾© (マクãƒ) 継続 é…延評価 éž
SRFI 78: Lightweight testing
by Sebastian Egner Status This SRFI is currently in final status. Here is an explanation of each status that a SRFI can hold. To provide input on this SRFI, please send email to [email protected]emers.org. To subscribe to the list, follow these instructions. You can access previous messages via the mailing list archive. Received: 2005-10-25 Draft: 2005-11-11--2006-01-10 Draft extended: 2006-0
GitHub - google/schism: A self-hosting Scheme to WebAssembly compiler
Schism is an experimental compiler from Scheme to WebAssembly. It enables developers to run programs written in Scheme in the browser or server environments such as NodeJS. The compiler supports a subset of the R6RS version Scheme, and is self-hosting, meaning Schism is implemented in Schism itself. This is not an officially supported Google product. Development so far has focused on features nece
larceny/lib/R6RS/r6rs-expander.sch at fef550c7d3923deb7a5a1ccd5a628e54cf231c75 · larcenists/larceny
Island Life - parameterizeã®é¢å€’ãã•ã„話
About å—ã®å³¶ã®ãƒ—ãƒã‚°ãƒ©ãƒžã€‚ ãŸã¾ã«å½¹è€…。 Practical Schemeã®ä¸»ã€‚ WiLiKi:Shiro 最近ã®ã‚¨ãƒ³ãƒˆãƒª 米国ã®å¤§å¦é€²å¦ç„¡é™cxré«˜æ ¡å—験Defense振り返ã£ã¦ã¿ã‚‹ã¨2019å¹´ã¯è‰²ã€…å¦ã‚“ã§æ¥½...覚ãˆã‚‹ã‚ˆã‚Šå¿˜ã‚Œã‚‹æ–¹ãŒé›£ã—ã„(ã“ã¨ã‚‚ã‚ã‚‹)眼é¡ã®ã¤ã‚‹ã¨3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動ã£ã¦è‡ªåˆ†ã‚’æ™’ã‘出ã•ãã°ãªã‚‰ãªã„ã¨...More... 最近ã®ã‚³ãƒ¡ãƒ³ãƒˆ shiro on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/14)1357 on æ³ã‚’å–ã‚‹ã¨æ™‚é–“ãŒé€ŸãéŽãŽã‚‹ã®ã¯ã€æ–°ã—ã„ã“ã¨ã«æŒ‘戦ã—ãªã„ã‹ã‚‰? (2023/03/01)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒã‚¤ãƒãƒã‚¤ãƒã®ã‚·ãƒ¥ãƒ¼ãƒªãƒ³ã‚¬ãƒ³ (2022/04/02)ベアトリーãƒã‚§ on ãƒã‚¤ãƒãƒ
picrinã«è¡›ç”Ÿçš„マクãƒã‚’è¿½åŠ ã—ã¾ã—㟠- wasabizã®æ—¥è¨˜
è¿‘é ƒPicrinã¨ã„ã†ãƒ¢ãƒ€ãƒ³ãªR7RS処ç†ç³»ã‚’開発ã—ã¦ã„ã‚‹ã®ã¯ã“ã®ãƒ–ãƒã‚°ã«ã‚‚書ã„ãŸã¨ãŠã‚Šã§ã™ã€‚Picrinã¯VMåž‹ã®ã‚¤ãƒ³ã‚¿ãƒ—リタã§æ£ç¢ºãª GCã€ãƒ•ãƒ«ã®ç¶™ç¶šã€ã‚°ãƒãƒ¼ãƒãƒ«å¤‰æ•°ã‚’一切使用ã—ãªã„リエントラントãªãƒ‡ã‚¶ã‚¤ãƒ³ãªã©ã‚’特徴ã¨ã—ã¦ãŠã‚Šã€ä»Šã®ã¨ã“ã‚R7RSã®85%ã»ã©ã‚’実装ã—ã¦ã„ã¾ã™ã€‚READMEã«R7RS-smallã«å¯¾ã™ã‚‹æº–æ‹ åº¦ã‚’ç¤ºã™è¡¨ã‚’掲載ã—ã¦ã„ã‚‹ã®ã§èˆˆå‘³ãŒã‚ã‚Œã°æ˜¯éžpull-requestã‚’é€ã£ã¦ã¿ã¦ãã ã•ã„。picrinã§ã¯é–‹ç™ºè€…を募集ã—ã¦ã„ã¾ã™ã€‚ https://github.com/wasabiz/picrin ã•ã¦ã€picrinã®é–‹ç™ºã‚’åˆã‚ã¦ãã‚ãã‚2ヶ月ã«ãªã‚Šã¾ã™ã€‚ã“ã‚Œã¾ã§VMや継続ã€GCãªã©å‰²ã‚Šã¨å¤§ãã‚ã®æ©Ÿèƒ½ãŒç«‹ã¦ç¶šã‘ã«å…¥ã£ã¦ãã¾ã—ãŸãŒã€ã‚ˆã†ã‚„ããã®ãƒ©ã‚¹ãƒœã‚¹ãŸã‚‹è¡›ç”Ÿçš„マクãƒã®å®Ÿè£…を終ãˆã¾ã—ãŸã€‚衛生的マクãƒã¯å¤å…¸çš„ãªLispã®ãƒžã‚¯ãƒã«è‡ªå‹•çš„ãªå¥å…¨æ€§ã®ä¿è·æ©Ÿæ§‹ã‚’付ã‘足ã—ãŸã‚‚ã®ã§ã™
ãŠçŸ¥ã‚‰ã›
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
GitHub - ProgrammerArchaeology/ezd: ezd - easy drawing for programs on X displays
http://jssst.or.jp/files/user/taikai/2021/papers/22-S.pdf
Shiro Kawai on Twitter: "Schemeã®equal?ã¯ã€Œå¾ªç’°ã‚’unfoldã—ã¦(ç„¡é™ã«ç¶šãã‹ã‚‚知れãªã„)木ã¨ã—ã¦æ¯”較ã—ãŸå ´åˆã«ä¸€è‡´ã™ã‚‹ã“ã¨ã€ã¨ã„ã†å®šç¾©ã§ã™ã。(equal? '#0=(a . #0#) '#1=(a a . #1#)) ⇒ #t https://t.co/ISWkt4vwo1"
å¥å…¨ãªãƒžã‚¯ãƒå±•é–‹ - reversed syntactic closures (ãã®1) - Tociyuki::Diary
SRFI 211: Scheme Macro Libraries
Shiro Kawai on Twitter: "@yamacirkit ã‚ã€è¤‡æ•°ã®çµŒè·¯ã§importã—ãŸãƒ©ã‚¤ãƒ–ラリã¯å…±é€šãªã®ã‹ãã‚Œãžã‚Œã‚¤ãƒ³ã‚¹ã‚¿ãƒ³ã‚¹åŒ–ã•ã‚Œã‚‹ã®ã‹ã€ã¨ã„ã†è©±ã§ã™ã。ãã“ã¯å®Ÿã¯Schemeç•Œã§ã‚³ãƒ³ã‚»ãƒ³ã‚µã‚¹å–ã‚Œã¦ã¾ã›ã‚“。少ãªãã¨ã‚‚R7RSã§ã¯è°è«–ãŒåŽæŸã›ãšã«æœªå®šç¾©ã«ãªã£â€¦ https://t.co/UmyBe0lCKr"
ãƒãƒˆãƒ«ãƒ—ãƒã‚°ãƒ©ãƒžãƒ¼ã‚„ã¾ã•++ on Twitter: "「第一級環境導入㧠Scheme ã‚ã£ã¡ã‚ƒç¶ºéº—ã«æ•´ç†ã—ç›´ã›ã‚‹ã§ï¼ã€ 「ãˆãˆã¨æ€ã†ã‘ã©ãã‚Œã¯ã‚„ã‚ŠéŽãŽã‚„。ãã“ã¾ã§ã‚„ã£ãŸã‚‰ãã‚Œã¯ã‚‚ㆠScheme ã¡ã‚ƒã†ã‚。追放ã™ã‚‹ã‹ã‚‰å¥½ãã«ä½œã£ã¦ãれや〠ã§åˆã£ã¦ã‚‹ã®ã‹ã"
ã§ã“ã‚Œãã•ã‚“ã®ãƒ„イート: "実装ãŒå¤§å¤‰ãªschemeã®æ©Ÿèƒ½ã®ç´¹ä»‹ Niyarin's blog https://t.co/YAMGVu3cuT union-findã§åŠ¹çŽ‡ã‚ˆãequal?を書ãã®ã¯ Efficient Nondestructive Equality Checking for Trees and Graphs https://t.co/leErWEQWo7 ã¨ã‹ã‹ãªã‚"
齊藤敦志 on Twitter: "Scheme ã® import ã—ãŸç’°å¢ƒã¨ eval ã®ç¬¬äºŒå¼•æ•°ã«æŒ‡å®šã—ãŸç’°å¢ƒãŒçŠ¶æ…‹ã‚’共有ã—ã¦ã„るらã—ãã¦ã€Œã‚“ã£ï¼Ÿã€ã£ã¦ãªã£ãŸè¦šãˆãŒã‚る。 ãã‚Œã¯åˆ¥ã€…ã«å®Ÿä½“化ã•ã‚Œã¦æ¬²ã—ーã£ã¦æ€ã£ãŸã€‚ (仕様上ã¯ã©ã†ãªã£ã¦ã‚‹ã®ã‹ç¢ºèªã—ã¦ãªã„。 ãも… https://t.co/Y8LiCUNYXr"
Internal define inserted by a macro is not recognized · Issue #221 · shirok/Gauche
An Incremental Approach to Compiler Construction
{{#tags}}- {{label}}
{{/tags}}