マクロとクロージャで作る並行プログラミング言語 - Think Stitch - PRINCIPIA
Lisp Advent Calendar 2013の参加エントリです． Lisp の特徴の1つとして，マクロを使って拡張言語（埋め込み言語）がかんたんに作れるという点があります． また Lisp はファーストクラスオブジェクトとしてのクロージャを持っており，継続渡しスタイル（Continuation-Passing Style, CPS）と組み合わせると，軽量プロセスがかんたんに作れるということもよく知られていると思います． そこで Lisp が持つこの2つの特徴を生かして，小さな並行プログラミング言語を作ってみたいと思います． 処理系は Gauche を使います．以下のモジュールを使います． CSP について ここで作る並行プログラミング言語は，CSP という理論を基礎にします． CSP とは Communicating Sequential Processes の略で，並行に動作するプ
Schemeを実行するChrome拡張「chroscheme」を作った - Pastalablog in はてな
jsScheme - Scheme interpreter in JavaScriptというサイトがある。 このページではSchemeをブラウザ上で実行できる。 どういうことかというと、つまりはScheme処理系がJavaScriptで実装されてる。 GPLライセンスで自由に使って良いとのことだったので、一部だけ手を加えて、Chrome拡張に移植した。 授業でちょうど今、『計算機プログラムの構造と解釈』（Structure and Interpretation of Computer Programs）を読んでて、英語版はリンク先で全部公開されてるから、これを読んでるとSICPにサンプルコードを見つけると、自分の場合はそれをコピーしてVimに貼り付けて実行するとか、大体の人なら授業指定の処理系Jakldに貼り付けたりして実行している。 学習的には丁寧に写経したりするんだろうけど、どう動くか
Lisp in Small Pieces 1.4 Evaluating Atoms - ぱたへね
Lisp In Small Piecesの1.4のまとめ。 special form について 厳密にはformで無くてもspecial formと呼ぶ。 この本によると、Schemeは、quote if set! lambda の4つ。Common Lispは30以上のspecial formを持つ。気になって、Scheme処理系の言語リファレンスをみていても全然4つじゃない。 http://www.gnu.org/software/mit-scheme/documentation/mit-scheme-ref/Special-Forms.html http://practical-scheme.net/gauche/man/gauche-refj_26.html#g_t_00e6_009d_00a1_00e4_00bb_00b6_00e5_00bc_008f Gaucheプログラミング
Island Life - Lispと兎と亀
About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ
R6RS Scheme で setf を書く - 月の塵
Scheme（これは Lisp Advent Calendar 2012 の 16 日目の記事です）Scheme で Common Lisp の setf 風のものを実現するものに SRFI 17: Generalized set! があるが、この参照実装にはいくつか問題がある。ひとつにはゲッタとセッタの組を大域変数で管理しているのでゲッタとセッタの対応関係にモジュール性がないこと、もうひとつは手続き同士の同値性という RnRS の未規定部分に片足を突っ込んでいることである。R5RS 6.1 Equivalence predicates の定義によれば、同一の場所に格納されている手続きは同値（eqv?）である。すなわち、 (eqv? car car) は常に真である。したがって、 car に何らかのセッタを対応づければ、 car の値からそのセッタを見つけることができる。だがもう一方で e
はてなブログ | 無料ブログを作成しよう
スロウでローファイ Xをやめてから急に写真を撮る速度が落ちたようで、そういえば最近このblogにもフィルム写真の話題を書いていない。 写真に飽きたわけではなくペースが落ちただけなのだが、よくよく考えてみれば写真なんて分野はそうそう目新しいことが起きるわけでもなくイノベーショ…
CAMPUS LIsP
Lisp 言語処理系: CAMPUS LIsP Lemon version, (Version 1.2) 2000年に CAMPUS LIsP を開発/公開 2016年に CAMPUS LIsP 上で動作する ELIZA の実装をした人がいる! 1981年に販売開始された SINCLAIR ZX81 (Z80 CPU, 3.25MHz Clock, 1Kb Memory) 上で!!! 参考: "ELIZA": 人工知能研究黎明期に作られた, 自然言語で人と対話するコンピュータソフトウエアで, 世界初の人工無能. Wikipedia: "ELIZA"の項 Wikipedia: "SINCLAIR ZX81" の項 概要説明 Lisp の処理系の構造を学ぶための、 コンパクトな Lisp解釈系です。 C言語で記述してあり、わずか１０００行の短さです。 Lisp 処理系の内部構造の基礎を学ぶため
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Scheme to x86コンパイラ
Common Lispのお宅拝見: CMU Common Lisp篇 — #:g1