Route 477(2009-05-27)
■ [prog][memo] 最近、新しいプログラミング言語のニュースが多くないか why's potion at master - GitHub PLOT: Table of Contents Circa home Programming Nu Nimrod Programming Language もう一個くらいあったような気がするけど忘れた。 15 http://twitter.com/todesking 14 http://reader.livedoor.com/reader/ 6 http://twitter.com/ 4 http://www.google.co.jp/search?hl=ja&rlz=1T4GGLL_j... 4 http://www.google.co.jp/search?hl=ja&lr=lang_ja&rl... 4 http://b.hatena.ne
ロジック プログラミング言語「デカルト言語」の開発者に聞く | OSDN Magazine
SourceForge.JPでは、同サイトを利用するオープンソース・プロジェクトを毎月1つピックアップし、その開発者にインタビューする「今月のプロジェクト」というコーナーを設けています。今回は、ロジック プログラミング言語「デカルト言語」を開発しているhniwaさんにお話をうかがいました。 プロジェクトの概要 プロジェクト名: デカルト言語 – ロジック プログラミング言語 登録日: 2009-01-07 01:32 URL: http://sourceforge.jp/projects/descartes/wiki/FrontPage プロジェクトホーム: http://sourceforge.jp/projects/descartes/ 動作環境: コンソール(テキストベース), Win32 (MS Windows), Linux ライセンス: GPLv2 主要対話語: 日本語 プログ
C# 4.0は「動的言語」にもなる | スラド デベロッパー
The Registerの記事によると、先日開催されたMicrosoftのProfessional Developers' Conference（PDC）にてC#アーキテクトのAnders Hejlsberg氏が語ったところによると、C#の次期バージョンであるC# 4.0は動的言語としても利用可能になるそうだ。 すでに.NET FrameworkとしてはVB.NETやIronPython、IronRubyが利用できるので、C#の動的言語化はそれほど突飛なアイデアではないのかもしれない。なお、C# 4.0ではCOM IDispatchインタフェースがサポートされ、COMアーキテクチャのシステムとも連係可能になるそうだ。
爆速で話題の Google Chrome 搭載 JavaScript VM “V8” は、Animorphic Smalltalk VM がベースになっているらしい - Smalltalkのtは小文字です
Animorphic Smalltalk というのは、1990年代半ばに作られ、2006年にオープンソース化されて話題になった“Strongtalk”のこと。 Another interesting aspect of the V8 virtual machine is that it's open source. It is mainly written in C++, based on the Strongtalk Smalltalk code and released with a BSD/MIT license. The Hitchhiker's Guide to ...: Google Chrome, JavaScript and Smalltalk Strongtalk は、Objective-C ばりのオプショナルな静的型チェック機能と Ruby と同様にミックスインを用いた
C++0x ユーザー定義リテラル - Faith and Brave - C++で遊ぼう
C++0x で提案されているユーザー定義のリテラルを使用すると以下のようなことができるようになる "Hello"s // std::string 101011100011b // binary literals 123km // unit is kilometers リテラルを定義するには、以下のような演算子を定義する X operator""suffix(const char*); X x = 1234suffix; // operator"suffix"("1234"); この場合、operator""suffixの引数は NULL 終端の文字列となる Variadic Templates を併用すると、リテラルを char 型の コンパイル時定数とすることができる template <char...> X operator""suffix(); X x = 1234suffix; /
2008-09-23 - プログラミング日記 [一般] 〜使い
最近『初めてのRuby』を読んでいる。Pythonのメソッドの第一引数にselfを書かなくてはいけないが、Rubyと対比して理由がなんとなく分かったので検討してみる。 まずPythonではRubyと同様、インスタンスメソッドとトップレベル関数の区別がない。Pythonではメソッドと関数という呼び方をする。関数およびメソッドは単なるオブジェクトの属性である。つまりメソッドはクラスオブジェクトのcallableな属性、関数はモジュールオブジェクトのcallableな属性である。Pythonでも全てがオブジェクトなので、この区別をしないということが重要となる。 ここで、以下のクラス定義を考えてみる。 >>> class Foo: ... a = 1 ... def foo(self): ... a # エラー (1) ... Foo.a # OK (2) ... self.a # OK (3)
![2008-09-23 - プログラミング日記 [一般] 〜使い](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)
リトルウイングピンボール オフィシャルサイト：ビデオピンボール第４世代のために開発された究極のスクリプト言語システム「イプシロン」
ビデオピンボール第４世代のために開発された究極のスクリプト言語システム「イプシロン」 Ypsilon Scheme System（以下イプシロン）は、リトルウイング ピンボールコンストラクションシステムの基盤技術の一つとして藤田善勝が開発したスクリプト言語システムです。イプシロンは、YoshikatsuからYを取って名付けました。 プログラミング言語としてイプシロンはLISPの方言の一つであるスキーム（Scheme）を採用しています。スキームは1970年代に開発され、コンピュータとプログラミングの教育分野で広く使われています。 スキームについての情報はこちらをご参照ください。http://ja.wikipedia.org/wiki/Scheme ピンボールのゲームルールは現在CまたはC++で記述されています。速度の面では有利なのですが、プログラムにエラーがあるとあっけなくアプリケーションが
Pyrex
Brief Description Pyrex lets you write code that mixes Python and C data types any way you want, and compiles it into a C extension for Python. Documentation About Pyrex Language Overview FAQ Contributed by Users Quick Guide to Pyrex Contributed by Michael JasonSmith. If the above link doesn't work, there is a copy here. Embedding Pyrex Using Pyrex to write stand-alone programs that embed a Python
COBOLとか談義 on Twitter - monjudoh’s diary
なにやら盛り上がっていた。 COBOLは使ったことないしおそらく今後使うことはないので言及はしない。ただもくもくとふぁぼるのみ。適当なタイミングでまとめる。 ということで途中経過をまとめた。 まとめ方法 議論と関係ないエントリをどんどんクリックして隠していくところまでは↓ Twitter議事録 - 文殊堂 その後実行するscriptは↓ 9626’s gists · GitHub クリップボードにコピーされるのではてダにペースト。 まとめ本文 nagise 新システムで敢えてCOBOLか。ビジネスロジックって要は誰が書いても同じ部分のことだろうなぁ http://slashdot.jp/developers/article.pl?sid=08/09/09/0252214 nagise 要するに、順次・反復・分岐という情報処理の基礎部分だけでやれる簡単なお仕事という部分で、その辺ならCOBO
Martin-Lofの 理論とそのパラドックス - あいまいな本日の私 blog
Martin-Lofの1971年の論文では、循環性がその中核を占めています。彼は、この条件があるので、彼の理論は圏論と非常に相性が良い（ご存知のように、圏論では、圏全体は圏をなし、その意味で強い循環性を持ちます）と主張しています。しかし、翌年に、Girardがこの中核部分の（もしくは現代の書き方では Type: type）からパラドックス（ブラリ-フォルティのパラドックスの一般化）が導けることを証明し、彼の夢は消えました。現在では、循環的部分を削除した、厳格な可述性に基づく依存型理論（おそらく整合的だろうと思われるもの）が、Martin-Lofの体系ということになっています。 さて、Girardのパラドックスですが、文献は Girardの論文は仏文？だったはずなので、Thierry Coquandの An Analysis of Girard's Paradox (LICS 1986)をど
等価変換システム ETI (Equivalent Transformation rule Interpreter)
ETI (Equivalent Transformation rule Interpreter) とは、等価変換プログラミングという新しいソフトウェア開発方法を実現する言語処理システムです。BASIC、C、Prologなどのように汎用的なプログラミングが可能がですが、理論的基礎に「等価変換に基づく問題解決」を採用している点が、他の言語と大きく異なります。 等価変換とは？ 等価変換とは何でしょうか。等価変換とは、ある表現が表す意味を保存したまま表現だけを変更する変換のことを言います。記号を使って書くと「解くべき問題の条件や質問を記述した表現をP、Pが表す意味をM(P)、PをP'に書き換える変換をrとするときM(P)=M(P')ならばrは等価変換である」ということになります。等価変換を知らない人が一番イメージしやすいPの具体例は連立方程式だとおもいます。このときM(P)は連立方程式の答
違うよ＞＜全然違うよ!! - 宇宙行きたい
アンチ Java の人が多い理由が分かった気がする。 Ruby 歴皆無で、RubyKaigi2008 に参加してみた。 - yuta4839の日記 『Java は、近代の言語。Ruby は、現代の言語』で会場中が爆笑できるほどの状況ならば、Java をフィールドに活動している人間にとっては、気持ちいいものではない Ruby 歴皆無で、RubyKaigi2008 に参加してみた。 - yuta4839の日記 Ruby には、アンチ Java (とPHP) が経典に含まれている Ruby 歴皆無で、RubyKaigi2008 に参加してみた。 - yuta4839の日記 Ruby な人が反応してもやりにくそうなので Java な僕が反応すると、 あの場にいた誰もが誰かを不快にしたいとかそういう事を一欠片も思ってない事は理解してもらいたいなぁと思います。 で、その上で不快感を感じた人がいるのは事
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Scheme:表示的意味論
Force7.de – Schauen Sie sich auf www.force7.de die neuesten Blogs an
http://www.kt.rim.or.jp/~kbk/zakkicho/09/zakkicho0903b.html
MPS: The Domain-Specific Language Creator by JetBrains
はてなブログ | 無料ブログを作成しよう
Eclipse Dynamic Languages Toolkit
Jsoftware
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト