STklos Home page
Presentation STklos (pronounced /ˈɛs.’ti.kl’ɔss/) is a free Scheme system mostly compliant with the language features defined in R⁷RS small. The aim of this implementation is to be fast as well as light. The implementation is based on an ad-hoc Virtual Machine. The salient points of STklos are: an efficient and powerful object system based on CLOS (Common Lisp Object System) providing Multiple Inh
そろそろLISPブームが再来する - やねうらおブログ(移転しました)
思うに、LISPには名著が多い。100年に一度の名著であるSICP本*1は言うに及ばず、 ハッカーと画家 コンピュータ時代の創造者たちで有名なPaul Graham氏のOn Lisp。 あと、日本のLispハッカーとして名高い竹内郁雄先生の初めての人のためのLISP (ソフトウェアライブラリ (3))。この本は、何年も前に絶版になっているが、目次からして、なにやらおかしい。 [目次] 1 初めての人のためのLisp 2 CARとCDRで世間を渡れば権兵衛もたじろぐ 3 解釈は評価なり・・・辞書なくして世は渡れず 4 基本関数を修了するや，突然関数定義 なんと大それた・・・ 5 今度はcond，再帰と再起を混同せぬように 6 またも再帰するから再帰なのだ 7 Go，go，go・・・，do，do，do・・・，loop，loop，loop・・・， やっぱりOは丸い 8 Lispの御本尊のお出まし
Functional Java
Functional Java is an open source library facilitating functional programming in Java. The library implements numerous basic and advanced programming abstractions that assist composition oriented development. Functional Java also serves as a platform for learning functional programming concepts by introducing these concepts using a familiar language. The library is intended for use in production a
情報科学実験III J-9 (2007年度) コンパイラ実験 (Objective Caml版)
情報科学実験III J-9 (2007年度) コンパイラ実験 (Objective Caml版) 担当 : 南出 靖彦 (minamide@cs.tsukuba.ac.jp) 関連資料 宣言型プログラム論のホームページ(2007年度) 宣言型プログラム論のホームページ(2005年度, Standard ML) Objective Camlのマニュアル 参考図書 入門OCaml: プログラミング基礎と実践理解, OCaml-Nagoya著, 毎日コミニュケーションズ プログラミング in OCaml: 関数型プログラミングの基礎からGUI構築まで, 五十嵐淳著, 技術評論社 プログラミングの基礎, 浅井 健一 著, サイエンス社 注意 2008年度は、ソース言語をOCamlの小さいサブセットに変更する予定です。 実験の手引き (PDF版) (実験の手引き(Standard ML版
Haskellプログラミングチュートリアル
Haskellは，次のような特徴をもった関数型言語です： 強力な型システム パラメータ多相のサポート 型クラスによるアドホック多相 非正格で純粋な関数型言語 関数は非正格 遅延評価：無限リストなどのデータ構造の扱いが容易 純粋：参照透明性が保存され，副作用がない モナドを用いたプログラミング 今回は，Haskellプログラムの基本要素である関数と型について， 順を追って解説していきたいと思います． まずは，おおまかな字句構造から： コメントの書き方については，C, JavaやMLのそれと変わりません． それぞれの関数定義や宣言は，セミコロン ';' で区切られ，ブレース '{}' でグループ化されます． しかし，Haskellのレイアウトという構文により， セミコロンを省いた記述が可能です． いまのところ，行頭に文字があったらその行から新しい宣言 くらいに思っておけば大丈夫です．
ひげぽん OSとか作っちゃうかMona- - 末尾再帰
最近一部で盛り上がっている「末尾再帰」について自分の理解を確認するのも兼ねて書いてみます。 （そもそも自分がふったのがきっかけっぽいので）。 上級者の方は間違い等に厳しくつっこんでもらえると助かります:-) 背景 自分が末尾再帰を知ったのは多分Schemeの勉強を始めた頃だったと思います。 例えばSICPという本では20ページあたりにこっそりと出てきます。 そのころの理解はかなり浅いもので「ふーん。」程度でした。 さて後日Schemeの処理系を実装することになりR5RSというSchemeの仕様書を読んだところ Scheme の実装は真正に末尾再帰的(properly tail-recursive) であることが要求されている。これは，たとえ繰返し計算が 構文的に再帰的手続きで記述されているときでも，定数空間 でその繰返し計算を実行することを可能にする とあり末尾再帰のことを詳しく知る必要性
[prog] 関数型プログラマはプログラムを木だと思ってるらしい - Greenbear Diary (2007-05-29)
■ [softs] Firefoxの許せないところ about="_blank" が新規ウィンドウで開く。お前はそれでもタブブラウザか。 C-hで履歴が開く。いやWindows版は仕方ないとしても、せめてLinux版はBackspaceとして振舞ってくれよ。 いやまあTab Mix Plusを入れればいいんですけど、 「新規ウィンドウを開かない」くらいデフォルトでできてほしい。 ■ [ruby] それany?で link_exist = (doc/:a).any?{|a| a[:href] == 'http://example.com:3000'} 最初「それfindで」というタイトルにしてて、書いてる途中でany?のことを思い出したのは秘密。 あとEnumerable any?で検索するとるりまが一番上に 来ますね。リプレースはすでに始まっているのだ。 ■ [Ruby/SDL] 等幅フォ
![[prog] 関数型プログラマはプログラムを木だと思ってるらしい - Greenbear Diary (2007-05-29)](https://cdn-ak-scissors.b.st-hatena.com/image/square/b0dd2a08b2c0fff30d70543ed7fa340ebfeb5697/height=288;version=1;width=512/https%3A%2F%2Froute477.net%2Fd%2Fassets%2Fogimage.png)
まつもと直伝 プログラミングのオキテ---目次 - まつもと直伝 プログラミングのオキテ：ITpro
第0回 あらためてRuby入門 まつもとゆきひろ氏自身による「Ruby入門」をお届けします。日経Linuxの連載開始前の特別企画（2005年4月号）として，Rubyが他のスクリプト言語やオブジェクト指向言語とどこが違うのか，なぜ便利なのかを中心に解説してもらったものです。 ● 基本と他言語との違い ● 実装とRuby誕生の秘密 第1回 プログラミングとオブジェクト指向の関係 プログラマを目指す人々の中にも，「オブジェクト指向は難しい」とか，「なかなか分からない」という印象を持つ方が多いようです。そこで，Rubyを題材にオブジェクト指向という考え方について説明していきます。 ● その1 ● その2 ● その3 第2回 抽象データと継承 オブジェクト指向プログラミングを構成する3原則のうち，前回は「ポリモーフィズム」を学びました。今回はオブジェクト指向の歴史を復習した後，残りの「データ抽象」と
Karetta|Gaucheプログラミング|「Lisp脳」の謎に迫る - Schemeプログラマの発想
この原稿の最新版について この原稿に加筆した最新版が書籍「プログラミングGauche」に収録されています。 引用や紹介をされる方はなるべく書籍収録版を参照してください。 他の言語のプログラマがSchemeプログラムを書くとき、 どうしても発想が手続き的(procedural)になりがちです。 LispプログラマやSchemeプログラマの発想は手続き的な発想とはどうも違うらしい、 ということは分かるのですが、具体的に何が違うのでしょうか? ここではこの謎に迫ってみましょう。 実例 例えばこんな例題があります。 1から100までの数をプリントするプログラムを書け。ただし3の倍数のときは数の代わりに「Fizz」と、5の倍数のときは「Buzz」とプリントし、3と5両方の倍数の場合には「FizzBuzz」とプリントすること。 どうしてプログラマに・・・プログラムが書けないのか? (原題: Why
home
A dynamically tiling X11 window manager that is written and configured in Haskell. In a normal WM, you spend half your time aligning and searching for windows. XMonad makes work easier, by automating this. What’s new? xmonad and xmonad-contrib 0.18.0 are available. New versions of xmonad and xmonad-contrib have been released. Check out our download page for instructions on where to get them. (2024
WebHome - Erlang - e r l a n g : c o o k b o o k
Welcome to the Erlang Cookbook. The Erlang Cookbook is a collaborative effort to produce practical documentation for using the Erlang language, particularly in commercial environments. It is focused on OTP Erlang?, although other dialects/distributions may also be supported. Note that the latest version of the Erlang cookbook has been moved and can now be found in the Erlang Wiki in Trapexit, the
大人のためのブラックボックス読解講座――クロージャとオブジェクトの微妙な関係
はじめに 2006年8月、Javaの次期仕様（JDK7）にクロージャを入れる案*が出され話題になりました。クロージャは関数型言語では30年以上の歴史を持ち、プログラミングにおける基本的な道具となっています。最近はPerl、Ruby、Pythonなどの軽量言語（Lightweight Language）にも取り込まれ、それと知らずに使っているユーザーも増えているのではないでしょうか。 一方、手続き型言語の世界では、完全なクロージャはなじみが薄いようです。C言語からC++へと発展してきた手続き型言語のメインストリームでは、 ガーベジコレクションを持たず、ローカル変数をスタックに置くことを基本とする言語のため、クロージャとの相性が悪かった オブジェクト指向を採り入れることでクロージャの代用とできた といったことが理由でしょう。 実際、クロージャとオブジェクト指向プログラミング言語には、メカニズム
檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算
「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて： 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記] ※印刷のときはサイドバーが消えます。 内容： JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ！ β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については「もっともお手軽な対話的JavaScr
Tiny CLOS 入門 - Tiny CLOS Tutorial
紹介 - Introduction どうやって Tiny CLOS を使うか - How to Use Tiny CLOS CLOS vs. 他のOOPのアプローチ - CLOS vs. other approaches to OOP CLOS のクラスとオブジェクト - Classes and Objects in CLOSインスタンスの生成 - Creating instances クラスの作成 - Creating classesインスタンス変数 - Instance Variables 総称関数とメソッド - Generic functions and methods総称関数の作成 - Creating generic functions メソッドの作成と追加 - Creating and attaching methods 総称の初期化 - The initialize gene
Scheme によるプログラミング入門
内容 プログラミングについて体系的に学ぶとともに，実習を通して理解を深めます． プログラミング言語としては，文法が簡単で扱いやすいという理由で Scheme 言語を採用しています． 自宅のパソコンなどで、DrScheme を練習したい人 DrScheme は、 Dr. Scheme のWebページからダウンロードできます。 このWebページで、「Download DrScheme」をクリック、その後「Download」をクリック。 すると、Dr. SchemeダウンロードのWebページが現れるので「Download links」のところから、適切なリンクを選んでクリック。すると、ダウンロードが始まります。 この Web ページで公開している資料について 手作りの資料ですので， ミスが発見され次第，少しずつ手直しします．ご了承ください． Scheme 説明資料と演習問題 (参考) プログラ
Scheme2Js
Scheme2Js is a Scheme to JavaScript compiler distributed under the GPL license. While some effort has been spent on being as close as possible to R5rs, we concentrated mainly on efficiency. Usually Scheme2Js produces JavaScript code, that is comparable to hand-written code. In order to achieve this performance, Scheme2Js is not completely R5rs compliant. In particular it lacks exact numbers. Schem
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ICFP Programming Contest
https://okmij.org/ftp/papers/LL3-collections-enumerators.txt
IBM Developer
