You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
クロージャの基本形 前回はJava SE 7で導入される予定のクロージャについて、その概要とプロトタイプ実装の使い方を紹介した。今回は、実際にクロージャを用いたプログラムを書いてみたい。 BGGA版の仕様では、クロージャを使うための基本となる演算子は「=>」となっている。クロージャを定義する基本的な形は、この演算子と{}を組み合わせて次にようになる。 {パラメータのリスト => ブロックステートメント} クロージャを実行するにはinvoke()メソッドを呼び出す。たとえばリスト1は「1234」という数値を返すクロージャを定義し、invoke()を使って実行した例である。「{=>1234}」の部分がクロージャを表すブロックだ。 リスト1 FirstClosure.java - 最も基本的なクロージャの例 public class FirstClosure { public static vo
17:37 08/07/30 ICFP Workshops via 住井さん で、 ML Workshop の採択論文リストが出てることを知りました。 "Many holes in Hindley-Milner" (複数穴あり Zipper 的なものをMLで扱う話、穴の個数を型情報に含めるための加算できる自然数表現を差分リストで、 っていう技が面白かった) と "Unrestricted call-by-value recursion" (call-by-value で再帰的な (ループした) データ定義を実現する手法、これで、フルの call-by-need セマンティクスがなくてもそっち方面で使われてる テクニックをいくらか持ってこれるよ)というのだけ読んでみた。 他の併設ワークショップ の論文リストも 揃ってきてるみたいですね。 個人的に WGP の "Concepts =? Typ
石尾 隆 (ishio .AT. ist.osaka-u.ac.jp) December 6, 2007 last updated July 12, 2006 created このメモは,Windows 環境で Soot を使って Java プログラムを解析する方法について 経験に基づいて記述しています. このメモは書きかけです.内容は随時変更される可能性があります. もし,誤りや疑問などありましたら,ご指摘いただけると幸いです. このメモでは,Soot の機能全体を網羅するつもりはありませんが, プログラム解析処理を実装するにあたっての Soot から提供されるデータとか, 使っていて得られた経験を随時蓄積していくつもりです. 目次 Soot とは Soot のインストール Soot の実行 Soot の大まかな構造 Soot に機能を追加して実行する Soot の細かい情報 Java
はじめに プログラミング言語を作ってみたいと思ったことはありませんか? あるいは、どうして単なるテキストファイルに過ぎないソースファイルがプログラムとして実行できるのか、仕組みを知りたいと感じたりしたことはありませんか? 仕組みを知るには実際に作ってみるのが一番です。結局、どっちにしてもプログラミング言語を作ることになりますね。 ところが仮にそう思ったとして、プログラミング言語についての本を手に取ると延々と字句解析(ソースファイル中の文字列を定数や演算子などの分解すること)について説明しているのでせっかく湧いた興味がみるみるうちに醒めてしまう、そんな経験はありませんか。もちろん、「本物」のプログラミング言語を作るにはそこでますます熱意が湧いてくる必要があるのでしょう。でも、単に興味があるだけならもっと簡単に、いきなりプログラミング言語そのものを作れたほうが良いじゃないですか。 というわけで
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く