Welcome to the first real post in my new series on the M Programming Language. Last time, we bootstrapped ourselves by looking at the tool spectrum available in the Oslo SDK. If you haven’t read through it yet: The M Programming Language – ... 続きを読む
LÖVE is an unquestionably awesome 2D game engine, which allows rapid game development and prototyping in Lua. This project is constantly evolving and changes come and go, sometimes initiated by us and sometimes by the recommendations of other... 続きを読む
ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。今度は The Programming Language Lua のソースコードを読みます 履歴(0) 参考資料まとめ(1) データ構造。main から VMメインループまで(2)スタック構造や命令フォーマットCALL/RETURN(... 続きを読む
■ [prog] 正規文法、文脈自由文法、解析表現文法 について調べたのでまとめ。それぞれ Regular Grammer(RG), Context Free Grammer(CFG), Parsing Expression Grammer(PEG)とも。 解析表現文法はPEGって呼ばれる方がずっと多いよね。てかPEGが「文法」の一種で... 続きを読む
P′′ is a primitive computer programming language created by Corrado Böhm[1][2] in 1964 to describe a family of Turing machines. [edit] Definition (hereafter written P′′) is formally defined as a set of words on the four-instruction alphab... 続きを読む
ruby-dev や ruby-list で上が (っては消え) る話に、複素数のリテラルがあります。要は Complex(1, 2) を 1+2i などと書きたいという話。僕自身は複素数なんて (Project Euler くらいでしか) 使ったことがないんで、リテラルが必要とは感じないんですが、こう... 続きを読む
id は scinfaxi (しんふぁくし)ですがハンドルは Theoria (ておりあ)です: id とハンドルについて読書メーター - Theoriaさんの読書メーター毎月更新。忘れないように : EuroDanceHits.com - Monthly Special Mixes 続きを読む
Introduction FAQ Binaries About Sources Get Started News Pastebin Factor programming language Factor is a concatenative programming language. Factor is innovative, expressive, fast, and has a full-featured library. Factor applications are por... 続きを読む
Well, if you want a functional language you should use one, whether concatenative or applicative. There's no "versus" about it. If you aren't sure whether you want a functional language, or you need some aspects of both functional and imperat... 続きを読む
By Manfred von Thun Joy is a functional programming language which is not based on the application of functions to arguments but on the composition of functions. This paper compares and contrasts Joy with the theoretical basis of other functi... 続きを読む
I've dabbled in a few lisp dialects, but I generally become frustrated with some deficiency or other. I had been holding out some hope for Paul Graham's arc, but when I tried it out, I wasn't exactly blown away. Common Lisp has a rather bloat... 続きを読む
Lambda Associates Advanced Software Technology Lambda Associates aims to provide advanced open source Lisp freeware for students, educators, and scientists engaged in software research. The Mission Our mission is to modernise Lisp towards Lis... 続きを読む
Ambidexter is a language for programs that make direct use of a complete system of types, including generic, abstract, and continuation types. The connection with classical logic is evident, and its inherent symmetry leads to a union in which... 続きを読む
Why Attribute Grammars Matter by Wouter Swierstra for The Monad.Reader Issue Four 01-07-05 Introduction Almost twenty years have passed since John Hughes influential paper Why Functional Programming Matters. At the same time the first work on... 続きを読む
Context free grammars (CFGs) are a valuable theoretical tool on which the modern compilation theory relies for parsing the code of programming languages. For example, the most popular tool used for parsing – YACC, generates parsers for CFGs.... 続きを読む
本当は自分でやりたくて仕方が無いのだけど、私を待っている仕事が列を成してこちらを見ているので誰かに託そうとここに書く。こないだ作った、いや、作ったというより皮を被せただけだけど、MML を鳴らす奴の仕組みについて調べているうちに興味深い記述にぶつ... 続きを読む
■ [prog] Scala - 機能のためには文法を自重しない言語 昨日のRuby勉強会でkeisukenさんによるScalaの発表があった…んだけど僕は遅刻して見られなかったので(ごめんなさい)、 今日電車の中で配布資料を読んでたんだけど、、、こんなにカオスな言語だとは知ら... 続きを読む
第39回情報科学若手の会の夜のセッションでのディスカッションから生まれた言語「KEMURI」を紹介します。 これはKEMURIで「Just Another Python Hacker,」と表示するコードです。 `"^^"^^^^"^^'"^^"^^'"^^"^^'"^^"^^"'"^^"^^`"^^"^^^^"^^"^^"^^"^^"^^'"^^"^^"'"... 続きを読む
担当者: 向井 国昭 (mukai@sfc.keio.ac.jp) 「言語の意味論(2006)」の授業用の資料を置きます. 副読用ノート PTQ カテゴリ文法 モデル論ベーシック 予定 予定 スライドなど 続きを読む
This is a reference implementation of the Fortress programming language. Fortress is a new programming language designed for high-performance computing (HPC) with high programmability. In order to explore breakaway approaches to improving pro... 続きを読む