不動点演算子ふたたび - sumiiの日記
（追記：Ｙコンビネータって何に使うの？） Yコンビネータ（Curryの不動点演算子）を説明するのがプチブーム（死語）らしいので、ふたたび挑戦。 まず、ふつーに再帰関数factをSchemeで定義してみる。 (define fact (lambda (n) (if (= n 0) 1 (* n (fact (- n 1))))))この定義は、右辺にfact自身が出現するので、再帰的定義なのであった。ここから右辺にfactが出現しないようにするのが目標。とりあえず、factを関数の引数として外から受け取るようにしてみる。 (define make-fact (lambda (my-fact) (lambda (n) (if (= n 0) 1 (* n (my-fact (- n 1)))))))これは( (make-fact fact) 10)みたく使えるが、make-factを呼び出す際に
Gauche でテスト作成支援 gca.el - ひげぽん OSとか作っちゃうかMona-
昨日、「test* に与えるテスト名の命名が面倒だ」と書いた所、naotoさんから gca.el という koguroさん作の Emacs Lisp を教えていただきました。 これは便利。 gca.el テストケース作成支援のためのツールを作りました(拙作のEmacs用のユーティリティに含めてあります gca-20060903.tar.gz)。 単体テストをきちんと書くのは面倒ですが、通常コードを書くときは、無意識のうちにgosh上で動作確認をしつつコードを書き進めているかと思います。この動作確認の結果を基に単体テストを作成してしまおうというのがこのツールです。 デモ 実際に動作しているデモムービーを見るとわかりやすいです。（GaucheFest:koguroにあります） デモムービー(mov形式) 4.8MB デモムービー(wmv形式) 2.4MB インストール gca.el の先頭に書
scheme-complete.elがすごい - 日記を書く [・w・] はやみずさん
scheme-complete.el is a single function that can be used with any Emacs scheme mode. It provides real-time, lexical-scope aware type inferencing tab-completion for any R5RS scheme, with extensibility for implementation-specific features (currently only Chicken and Gauche are customized). Gauche / Thread: [Gauche-devel] ANN: scheme-complete.el - smart tab completion 実際にEmacsに入れて動かしてみたら、かなり頭のいい補完をして
![scheme-complete.elがすごい - 日記を書く [・w・] はやみずさん](https://cdn-ak-scissors.b.st-hatena.com/image/square/2d107c584327d9989a84f5db7baffea96b5c6486/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F17680117127128184977%2F17680117127128198891%2F1557447530)
Write Yourself a Scheme in 48 hours
Write Yourself a Scheme in 48 Hours A Haskell Tutorial By Jonathan Tang Contents Overview First Steps: Compiling and running Parsing A Simple Parser Whitespace Literal Numbers and Strings: Return Values Lists, Dotted Lists, and Quoted Data: Recursive Parsers Evaluation, Part 1 Displaying Values: Show and Typeclasses Evaluating Primitive Values: Pattern Matching Evaluating Primitive Functions: Firs
UC Berkeley Webcasts | Video and Podcasts: Fall 2010 Courses
UC Berkeley's Webcast and Legacy Course Capture Content is a learning and review tool intended to assist UC Berkeley students in course work. Content is available to UC Berkeley community members with an active CalNet and bConnected (Google) identity. UC Berkeley Log-in UC Berkeley members please log into the new search directory website with your CalNet identity and passphrase(link is external) t
Y Combinator
In this file we derive the Y combinator, one of the fundamental results of recursive procedure theory. You already know that in some cases it is not necessary to give a procedure a name. For example, ((lambda (x) (+ x 1)) 6) adds 1 to 6 without naming the procedure that does it. But, what about a recursive procedure? For example, (define fact (lambda (n) (if (zero? n) 1 (* n (fact (- n 1)))))) whi
Scheme:マクロ:CommonLispとの比較:意味論
前回までのあらすじ MSIの黒田さん wrote in About Scheme: 「Schemeじゃまともなマクロが書けないでしょう」 Shiro wrote in Scheme:マクロ:CommonLispとの比較: 「Schemeではhygienic macroという形でその問題を解決してます」 MSIの黒田さん wrote in GaucheNight: 「でもR5RSではセマンティクスが文字の並びで定義されてるんだから、S式の操作でプログラム生成をするマクロとは相容れないんじゃないの」 何が問題なのか Shiro(2007/05/16 04:43:15 PDT追記): 論点がわかりにくいという話があったので最初に整理しておきます。 R5RSにおいて、Schemeの正式な構文は 7.1節に、 基本構文(lambda、if、set!、関数呼び出し、変数参照)のセマンティクスは 7.2
c-wrapper
English / Japanese c-wrapper - A Generic Wrapper for C Libraries 最終更新日: 2009年8月9日 c-wrapperとは c-wrapperとはCやObjective-Cで書かれたライブラリを呼び出すためのFFI(Foregin Function Interface)です。 c-wrapperはヘッダファイルをパーズする機能を持っているため、関数、グローバル変数、定数に関する定義を行う必要がありません。 サンプルコード c-wrapperを用いると以下のようなコードを書くことができます。 (use c-wrapper) (c-load "stdio.h") (printf "Hello, world\n") MacOSXではObjective-Cのライブラリを呼び出すことも可能です。 (use objc-wrapper) (
Programming Languages: Application and Interpretation by Shriram Krishnamurthi
Programming Languages: Application and Interpretation Copyright © 2003-07, Shriram Krishnamurthi Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License Version 2007-04-26 This page is for the first edition of the book. I have since completely rewritten the book from scratch. Though the general principles underlying this book remain the same, the new book has better prose,
Inferior Gauche Mode
何？主な機能インタラクティブに評価補完設定DownloadKeys更新履歴Known Bugs式の無いバッファで評価すると…何？Gaucheをもっと活用したいと思うのですが、すでにそこに動いているEmacs Lispを使ってしまって一向にGaucheを使いこなせるようになりません。Gauche用のlisp-interaction-modeのようなものを作って、Emacsを起動したらそこにGaucheが動いているという状態にすれば何のストレスもなくGaucheを使えるようになるのではないかと思って作ったElispです。主な機能インタラクティブに評価式の後で"C-x C-e"と打てば、ミニバッファに評価結果を表示します。 と補完できます。設定ロードパスの通ったところにファイルを置いて、.emacsに(require 'inferior-gauche)等を書いておけば、"M-x inferior
Lisp:よくある正解
Lispについての正しい認識と、それでもLisperがLispを使う理由 yoriyukiさんのエントリがなかなか 真実を突いていたので、ネタにさせていただきます。 原因のほとんどは経路依存性とかネットワーク効果によるもので、Lisp自体の性質とは無関係だと思います。と言った上で、私が何となくLisp系言語を使わない理由としては、 Too dynamic: 実行時にコードが差し替えられることがすごい利点だ、と言っている人がいましたが、逆に言えば今どのコードが走っているか理解しにくい、という欠点にも繋がる。 Meta programming:S式のおかげでMeta Programmingがしやすいが、Meta Programmingを多用したプログラムは理解しにくい。 動的型付け:利点でもあるけど、特有のバグを引き起こす。 識別子に関数と値の2種類が別々にバインドできる。これは私には非常に美
SICP勉強会 - NAIST Computational Linguistics
概要 "Structure and Interpretation of Computer Programs - 2nd Edition" (MIT Press, 1996) を最後までやりとおす．(邦訳は『計算機プログラムの構造と解釈 第2版』) 演習中心で進める 各自本文を読んできて範囲になっている問題を解いてくる 勉強会では問題や本文について議論する ↑ 予定 週1回の勉強会でだいたい問題10問ずつ進んで1年で終わらせる．毎週土曜日14:00-に情報棟A707(自然言語処理学講座のゼミ室)で行う． ↑ 軌跡 7/8 4.4.4-4.4.4.8 (問題4.70-74) shimpei-m, mamoru-k, eric-n, shuya-a 7/1 4.4.2-4.4.3 (問題4.64-69) shimpei-m, kenich-i, hiro-kuz, osamu-m, mamoru
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.is.s.u-tokyo.ac.jp/vu/01/jugyo/processor/process/soft/compilerresume/index.html
「コンピュータソフトウェア」2007年4月号 - sumiiのブログ
index
Ask reddit: Best way to edit Scheme in VIM? : programming
Scheme:数独
Scheme:n段多重ループ
Gauche:メモリリーク
Topics:SICP in other languages - CTMWiki