GF - Grammatical Framework
Grammatical Framework A programming language for multilingual grammar applications What is GF? GF, Grammatical Framework, is a programming language for multilingual grammar applications. It is a special-purpose language for grammars, like YACC, Bison, Happy, BNFC, but not restricted to programming languages a functional programming language, like Haskell, Lisp, OCaml, SML, Scheme, but specialized
Home : Inform
Inform is a programming language for creating interactive fiction, using natural language syntax. Using natural language and drawing on ideas from linguistics and from literate programming, Inform is widely used as a medium for literary writing, as a prototyping tool in the games industry, and in education, both at school and university level (where Inform is often assigned material for courses on
CS 6110 Spring 2013
Overview Programming languages are a fundamental part of computer science. This course introduces the formal tools needed to describe precisely what a program means. These tools help us answer many useful questions about program analyses and transformations, such as: Is this program correct? Will this program encounter a run-time type error? Is one program indistinguishable from another? Is this o
The Rust Programming Language
A language empowering everyone to build reliable and efficient software. Performance Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages. Reliability Rust’s rich type system and ownership model guarantee memory-safety and thread-safety — enabling you to elim
Fantasy World OCaml
Real World OCaml (RWO) will finally explain how OCaml works in the real world. This document, which has no relation to RWO, explains how OCaml works in my fantasies. I will try to highlight only how fantasy differs from reality. Please note that none of the following describes the real OCaml as of version 4.00.1. Language Lexical structure All source files are utf-8 encoded. The character literal
delimited continuation - ocaml-nagoya
限定継続とは? † 継続は「その後の計算」を表現したものです。対して、限定継続は「特定の範囲のその後の計算」を表現したものです。つまり、継続がグローバルな「その後」とイメージするならば、ローカルな継続が限定継続という感じです。 限定継続を扱う演算子には主にshift/resetのペアとprompt/controlのペアがあります。それぞれ静的な演算子、動的な動的な演算子と呼ばれます。（その理由はschmeとかのdynamic bindingとかと関係あるらしいけど、よくわかりません）
INTERCAL を調べてみた - まめめも
INTERCAL は 1972 年に登場した難解言語 (esoteric language) の始祖とされる言語です。brainfuck や befunge のような難解言語に興味のある人なら、一度は聞いたことがあると思います。 しかし、INTERCAL について、「元祖難解言語であること」と Hello, world! 以上の詳しいことをわかりやすく説明する資料は見当たりません。マニュアルはなぜかやたら読みにくいので敬遠していたんですが、一念発起して、多少読み書きできる程度まで勉強してみました。元祖の名に恥じない、なかなか頭の悪い言語でした。 変数と定数 16 ビット整数、32 ビット整数、16 ビット整数の配列、32 ビット整数の配列、の 4 種類の型がある。それぞれ . (spot) 、: (twospot) 、, (tail) 、; (hybrid) の記号が与えられている (括弧
ISWIM - Wikipedia
ISWIM は、Peter J. Landin が考案し、1966年の Communications of the ACM 誌で発表した The Next 700 Programming Languages で初めて明らかにした抽象プログラミング言語（あるいはプログラミング言語ファミリ）である。名称は "If you See What I Mean" の頭字語に由来する。 実装されたことはないが、その後のプログラミング言語の開発に多大な影響を与えた。特に、SASL、Miranda、ML、Haskellといった関数型言語に影響を与えている。 ISWIM は、ラムダ計算の関数型コアを命令型言語の糖衣構文で包んだものである。変更可能な変数と代入と強力な制御機構として Landin の J 演算子を追加してある（J演算子は継続を可能としたもので、Scheme の call/cc は J 演算子を簡
Google の新言語「Dart」は新しい JavaScript か？ - WebOS Goodies
Google が開発しているという新言語「Dart」を覚えていますでしょうか。来月の GOTO Aarhus 2011 Conference にて発表があるということで数日間は話題に登ったものの、その後は続報もなく忘れ去られているようです。 実はこの Dart に関連して、 2010 年 10 月に書かれた Google の内部文書 (?) が注目されています。その中では、 JavaScript の次期版である Harmony と平行して新たな言語「Dash」を開発することが示唆されており、それが来月発表される Dart の正体ではないかと言われています。また、 Google が新言語の開発を決断した理由や今後のオプション、そして僅かながら関連するプロジェクトについてなども語られており、なかなか興味深い内容です。 そこで、本日はこの文書のハイライトをご紹介したいと思います。いつもながら翻訳
Google の言語テスト、勝者は C\+\+ - スラッシュドット・ジャパン
Google が C++ と Java、Go、Scala の 4 言語に対し、比較･調査を行った結果を公開している (論文 PDF) 。 この比較・調査には各言語で慣例的なコンテナクラスやループ構築方法、メモリ/オブジェクト割り当てスキーマを用い、言語機能やその際のコードの複雑さ、コンパイラやコンパイル時間、バイナリサイズ、実行時間、メモリフットプリントを調査した。ベンチマークのソースコードは Google Code 上で公開されている。 結論としては、これらの言語の中では C++ がもっともパフォーマンスの優れた言語、ということになったそうだ。ただし、C++ にはチューニングの自由度が高く、ベンチマークには平均的なプログラマでは記述できないような洗練されたコードも含まれているという (つまり、優れたプログラマでないとパフォーマンスを出せない可能性があるということか) 。 また、Java
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Introduction to Categorical Programming
サービス終了のお知らせ
Clojure のロゴが美しすぎる件 - A Memorandum
Amazon.co.jp: 最新コンパイラ構成技法: Andrew W.Appel (著), 神林靖 (翻訳), 滝本宗宏 (翻訳): 本