Reasoned Schemer (001) Forewordとか - kb84tkhrのブログ
『The Reasoned Schemer』買いました The Reasoned Schemer (MIT Press) 作者: Daniel P. Friedman,William E. Byrd,Oleg Kiselyov,Jason Hemann,Duane Bibby,Guy Lewis Steele Jr.,Gerald Jay Sussman,Robert A. Kowalski 出版社/メーカー: The MIT Press 発売日: 2018/03/09 メディア: ペーパーバック この商品を含むブログを見る 以下Theは省略 『Scheme手習い』、『Scheme修行』、『定理証明手習い』と読んできて、 この『Reasoned Schemer』を読めばなんとなくコンプリート気分になれるはず （ほかにもLittleナントカシリーズは出てるようなんですけど） 日本語訳は知って
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
OCamlで48 Hour Schemeをやってみる その５ （第九、十章） - Arantium Maestum
Write Yourself a Scheme in 48 Hoursの最後の二章をやっていく。入出力と標準ライブラリ作成。 第九章：入出力 stdin, stdoutやファイルに対する入出力を実装する。 github.com 例によって「Haskellだとモナドが出現していろいろ型を頑張らないといけないけどOCamlだから・・・」という案件。 HaskellではIOモナド型のために新しいIOFunc式を用意したりしているが、OCamlだと普通に今まで通りPrimitiveFuncに放り込んでいける。 type expt = (* 省略 *) | PortIn of in_channel | PortOut of out_channel と入出力用のchannelをラップしたPortIn/PortOut式は用意する。あとはIoモジュールでそれを使う関数を定義し、primitives.mlで
トランポリンによる末尾呼び出しな apply - Qiita
末尾呼び出し最適化 プログラミング言語 Scheme の処理系は末尾呼び出し最適化が必須です． たとえば，リストを逆転する手続き rev を次のように定義すると，else 節の再帰呼び出しはスタックを消費しません．ラフにいえば call が jump に変換されるからです．call して戻ってきてもリターンするしか仕事が残っていないので，呼び出し先から直接呼出し元に戻れば済みます． 以後，単に「末尾呼び出し」と書くだけで，最適化された呼び出しのことを意味するものとします． (define (rev xs ys) (if (null? xs) ys (rev (cdr xs) (cons (car xs) ys))))
MITがSICPを教えなくなった理由
Programming by poking: why MIT stopped teaching SICP | posterior science このNYC Lisp meetupの動画で、Gerry Sussmanに対する質問として、SussmanとAbelsonの古典、The Structure and Interpretation of Computer Programs(SICP)に基づく、伝説的な6.001講義をなぜMITはやめたのかと聞かれている。 Sussmanの回答としては、SussmanとHal Abelsonは1980年代から延々と教え続けるに嫌気が差し、1997年に、学部長の事務所に行って、「俺らはやめる。後どうするからは勝手に考えろ」と宣言した。より重要なこととしては、SICPのカリキュラムは、今日のエンジニアリングに求められるエンジニアを育てることができないからで
set! できない、 set! したい - Qiita
プログラミング言語 Scheme におけるライブラリと代入の関係について述べます。 ここでは R6RS の仕様に基づいて書きますので R7RS では異なる部分もあることには留意してください。 識別子の import と export 各機能はライブラリからインポートすることで利用可能になります。 インポート可能な識別子はライブラリの側でエクスポートしている識別子です。 #!r6rs (library (library-A) (export foo) ; ← foo をエクスポート (import (rnrs)) (define foo 'abc) ; ↓ この定義はエクスポートしていないのでライブラリの外から使えない (define bar 'def) )
はじめてのアセンブリ(Lisp編)
( Lisp Advent Calendar 2013 3日目の記事です ) FortranやLispが誕生して50年以上の月日が経過した現在では、 世の大半のプログラムがCやJavaやExcel VBAといった高級言語で作られています。 多くのプログラマにとっては、もはやアセンブリは直接書く必要のないものなのかもしれません。 しかし、(たとえあまり使うことがなくても)Lispを学ぶことで悟りを得られる(らしい)ように、 アセンブリを学ぶことで普段使っているOSやコンパイラやVMが一体何をしているのかを学ぶ手助けとなるのではないかと思います。 低レイヤーもカバーするプログラマを目指して、アセンブリ言語をアセンブラでアセンブルして実行してみましょう。 最初にアセンブラを用意しましょう。ここ(http://ccl.clozure.com/)からダウンロードできます。 現在の最新リリースバージョ
GaucheのExplicit-renamingでスレッドマクロ - Qiita
ちょっとしたテキスト処理や日々の仕事で自分だけが使うコマンドラインツールの作成にScheme……というか、Gaucheはとても便利です。みなさんもそうですよね？ そんなみなさんであれば、きっと常にuseしたくなるオレオレマクロモジュールがあるにちがいありません。濫用するなと厳しく教えられるマクロではありますが、自分しか使わないごく小規模のプログラムであれば気にする必要もないでしょう。オレオレマクロと喧嘩はLISPの華、書くのが楽なほうがよっぽど大事なわけですから。 もちろん、私にもそんなマクロがいくつかあります。「標準のifをArcライクなifで上書きする」という影響範囲がめちゃくちゃ大きいやつとかもお気に入りなのですが、今回はそれは置いておいて、Clojureのスレッドマクロの亜種を晒すことにします。 仕様 「亜種」と言ったとおり、実はClojureにあるものそのままではありません。自分
Island Life - Gaucheの遅延シーケンス
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)ベアトリーチ
コンピューター科学において、どうしてプログラミング言語のLISPはとても重要とされているのでしょうか？
回答 (2件中の1件目) 「あるプログラミング言語の最小限の構成で、そのプログラミング言語自身を定義する」という実装を初めてわかりやすい形で示した言語だからです。 それまでのプログラミング言語では、言語処理系そのものは概念的に「下位」にある言語で書かれました。FORTRANコンパイラがアセンブリ言語で書かれた、といった関係です。そのような構成の場合、その言語で書かれたプログラムが実際にどう動いているかを厳密に考えようとすると、一つ下の階に降りて「下位」の言語の動作を調べなければなりません。しかしその下位の言語もさらに下位の言語で構成されているので、その動作を調べようと思ったらさらに下位...
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Language Oriented Design - CoRecursive Podcast
schism/schism/compiler.ss at master · google/schism
José A. Ortega Ruiz on Twitter: "Racket-on-Chez is here -- https://t.co/w4uzSlMqZN"
x86 アセンブラ scheme lisp abi - Google 検索
value representation in javascript implementations — wingolog
Outdated CHICKEN release - The CHICKEN Scheme wiki
emacsでschemeを書く - memo-mode
https://github.com/PDP-10/its/blob/master/src/scheme/nschsy.99
逆引き Common Lisp クックブック:SchemeプログラマがCommon Lispでハマりそうなところ
GitHub - tonyg/racket-google: Google APIs (Drive, Plus, ...) for Racket.