Scala Study SessionScala Study Session - Download as a PDF or view online for free
Object Computing, Inc. - Java News Brief - March 2009
Introduction The goal of this article is to provide a fairly comprehensive introduction to the Clojure programming language. A large number of features are covered, each in a fairly brief manner. Feel free to skip around to the sections of most interest. Please send feedback on errors and ways to improve explanations to mark@objectcomputing.com, or fork the repository and send a pull-request. I'm
本を読む FizzBuzzとGaucheで学ぶ継続の基礎
先日は酔った勢いで「FizzBuzzとGaucheで学ぶ遅延評価の基礎の基礎」ってエントリを書いてみました。今回は、再び酔った勢いで、同じネタから継続渡しスタイル（CPS：Continuation Passing Style）に挑戦してみます。 言語は今回もSceme（Gauche）です。継続渡しスタイルの知識は、「プログラミングGauche」と「まるごとJavaScript＆Ajax！」の受け売り（劣化コピー）ですので、勘違いがあったらご指摘ください。 遅延評価と継続渡しの比較 遅延評価編では、無限ループを避けるために遅延評価を使いました。無限ループを避けるための方法としては、ほかに、継続渡しによる呼び出しトランポリンを使った方法があるみたいです。 とてもおおざっぱにいうと、遅延評価は関数型プログラミングで、継続渡しは手続き型プログラミングなんだそうです。 まず手続き型っぽく書いてみる
Scala開眼
1階受付：インストール等 / 1階案内版：コマンド / 2階：書き方 / 3階：文と式 / 4階：関数 / 5階：オブジェクト指向 / 6階：型 / 7階：注釈等 / 屋上：言語仕様要約 / 雲：scalaパッケージ概観 / 青空：その他の付属パッケージ概観 なお、以上の解説はJavaの文法とコマンドや標準ライブラリ等を一応知っていることを前提（現行のScalaはなおJavaライブラリへの依存度が高くScalaだけで完結できる状態では無い。なお、Scalaのコンパイラ自体はJava1.4用のコードも吐けるが、標準ライブラリが多く1.5を前提としている）とし、その違いだけをとりあえずは書き留めるものである。もっぱら文法やライブラリ参照用であることを目指しているので、例や特長等は次のリンクを参照されたい（なおただし、原著者たちの配慮にもかかわらず、それらの例は関数型言語に関する事前の概要的把握
Haskellプログラミングの楽しみ方 − ＠IT
第1回 Haskellプログラミングの楽しみ方 山下 伸夫 株式会社タイムインターメディア 2008/10/29 関数型言語に分類されるHaskell。C言語などの手続き型言語とまったく異なるプログラミングの世界に踏み出してみよう（編集部） 本連載は、Haskellプログラミングの初歩から始めて、日常的なスクリプティングやWebプログラミングをHaskellで楽しめるようになるまでのガイドである。 Haskellプログラミングのスタイル Haskellプログラミングに興味はある人でも、Haskellプログラミングの習得にはちょっとした障壁を感じることがあるのは間違いないようだ。小難しい概念や用語のせいでもあるが、それらはあまり重大な理由ではない。 障壁となるのはHaskellのプログラミングスタイルである。Haskellのプログラミングスタイルは関数プログラミングという系統に属する。一方、
刺激を求める技術者に捧げるScala講座---目次
本連載では，次世代のエンタープライズ・プラットフォームを支える言語として，このところ最も注目を集めている言語「Scala」の魅力をお伝えしていきたいと思います。Scalaは，技術的にもかなり刺激的で，楽しい言語に仕上がっています。最初の一歩から刺激的な技術解説まで，幅広くScalaのおもしろさ，楽しさをお伝えしたいと思います。 第1回 なぜScalaなのか？ 第2回 Scalaの基本的な文法 第3回 Scala言語を探検する（1） 第4回 Scala言語を探検する（2） 第5回 Scala言語を探検する（3）関数型言語としてのScala 第6回 Scala言語を探検する（4）Scalaの型システム 第7回 関数脳のつくり方 First Season 第8回 Scala DSLでできること 第9回 Scala DSL事始め（前編） 第10回 Scala DSL事始め（後編）
lisp index
たけおかの Lisp ページ 目次 emacs Common Lispキーバインド GNU Common Lispを使う。Windows版 (GnuEmacsと、Gnu Common Lispを一緒に使うと便利!) GNU Common Lispを使う。UNIX,FreeBSD,Linux版 (GnuEmacsと、Gnu Common Lispを一緒に使うと便利!) Gnu Common Lisp(GCL)/Kyoto Common Lisp(KCL)の最適化について CommonLispで記述した、StarTrek(1976年頃流行した古いゲーム) Scheme版 Star Trek イスカンダルのトーフ屋ゲーム(1978年に発表された、古いゲーム)をCommonLispで記述した CADR(MITのLispマシン)について Lispマシン, CADRドキュメント和訳とか (PDF) C
Common Lisp/データ構造 -- ファイヤープロジェクト
Lispを学んでどうするのか…emacsをカスタマイズしまくることぐらいしか思い浮かばないが,その思想等を学ぶことは何かと役に立つはずだ.というわけで,Emacs LispはおいといてCommon Lispをやってみる. 基本編 データ構造 詳細入門編 基本編 なにはともあれCommon Lispでいろいろな式を書いてみる. 準備 2003-07-20T15:13+09:00 matsu 実行環境についての記述とサンプルのための入出力についての記述. 式と評価 2003-07-20T15:13+09:00 matsu 式の記述方法とその評価. データ 2003-07-20T15:13+09:00 matsu Lispにおけるデータについて概観する. 変数の定義と代入 2003-08-24T22:00+09:00 matsu Lispにおける局所変数,大域変数,大域定数の定義と代入について.
Practical Common Lisp を読む
前説 FOO言語においては、InterpreterとくらべてCompilerが最適化しているのは、テキストをできるだけまとめて出力するようにすること。 The Compiler The compilerのアーキテクチャ。 html-compilerクラス。このオブジェクトにbackendの総称関数へ成されたopsを集積させる。 backendの総称関数は、前項へのops書き込み機能を持つ。 opsを最適化する関数にわたし、最適化される。 最適化されたops vectorをgenerate-code関数が受け取り、CLのコードを吐く。 compilerがhtml-compilerのときのprocessor interface(メソッド)は、html-compilerへのopsの集積処理とする。 関数sexp->opsを定義する。これは、前項を順次S式に適用してopsのvectorを作成する。
翻訳:コンビネータ論理チュートリアル
このページは、Combinatory Logic Tutorialの翻訳です。 http://homepages.nyu.edu/~cb125/Lambda/ski.html 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 訳者による前書きと感想コンビネータ論理チュートリアル 訳者による前書きと感想 訳してみたものの、ちょっと、たったこれだけの説明では、はじめてコンビネータ論理を知った人が読んで充分に理解できるとは思えない。 どうも、この文書は、原文の上位ディレクトリにあるLambda tutorialを読んだ後に読むべきものっぽいようだ。 しかし、流石にこっちまで訳す気力は無い。 そういう訳で、これだけを読むよりは、Unlambdaのチュートリアルを読んだ方がずっと、コンビネータ論理を理解
Concurrent Programming in Erlang :: FreeTechBooks.com
Concurrent Programming in Erlang Posted: Wed Mar 07, 2007 8:17 am by ndaru Concurrent Programming in Erlang Authors : J. Armstrong, R. Virding, C. Wikström, M. Williams ISBN : 0-13-508301-X Pages : 358 Publisher : Prentice Hall Publication Date : 1996 Book Summary: Erlang is a concurrent, functional programming language designed for programming large industrial real time systems. The langua
檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算
「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて： 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記] ※印刷のときはサイドバーが消えます。 内容： JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ！ β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については「もっともお手軽な対話的JavaScr
魔法言語 リリカル☆Lisp
About ★「魔法言語 リリカル☆Lisp」はノベルゲーム風のLispチュートリアルです。 "アリサ"や"すずか"達と楽しくLispを学べます。 全１２話構成で各話の最後には練習問題が用意されています。 Lisp処理系にはNScripter上で動作するLispインタプリタであるNScLisperを使用。 別の処理系をインストールする必要はありません！！ Lispとは ★CやC++、Java、BASIC、Perl、Ruby、PHP、Python、ML、Haskellなどと同じプログラミング言語の一つです。 マサチューセッツ工科大学のJohn McCarthy教授を中心とする研究グループによって開発され、1962年に発表されました。 LispとはList Processorの略で名前通りリストの処理を得意とします。 このことから人工知能の開発に多く用いられています。 NScLisperとは
Scheme:使いたい人のための継続入門
使いたい人のための継続入門継続渡し形式call/ccは普通の関数call-with系関数call-with-procedurecall-with-continuation-procedurecall-with-current-continuation評価順序と継続call/ccパズルお手元マルチスレッド部分継続reset/pcとcall/pc環境破壊と部分継続部分継続の使用法PRINT-AND-NEXT-REPL議論質問お手元マルチスレッドのサンプルプログラムについて 使いたい人のための継続入門 とりあえず殴り書き。 くどかったり冗長な文章になってたり、重複してたり、間違ってたり、 おおいなる勘違いをしてたり、恥をカいてたりするかもしれないけどご愛敬。 藁をもつかみたい気持ちで継続を使えるようになりたい人は読んでみてください。 ただし所詮は藁です。(ｗ 継続渡し形式 例によって階乗fa
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Redirect
Common Lisp
Y-Combinator
アヘン窟
A list of interesting Erlang links | aidanf.net
An introduction to Termite