inforno :: tags :: scalaScalaでスタック指向言語をサクッと実装する May 17, 2008 日本語プログラミング言語Scala Mar 4, 2008 Python,Rubyの言語内DSL構築力：PythonでRakeをまねる場合を例に Feb 21, 2008 Scalaで無限リスト：Haskellライクに Feb 9, 2008 基礎を終えた人のScalaミニtips Feb 3, 2008 Scalaでパーサコンビネータ Jul 30, 2007
inforno :: Scalaでスタック指向言語をサクッと実装する
Scalaにはご存知のとおり scala.util.parsing.combinator というパーサコンビネータライブラリがある。さらには scala.util.parsing.ast というのもあるわけだけど、これは激しく開発中な感じ。Scalaはバージョンがあがるとこういう開発中ライブラリはごそっと変わったりするので今はおいておく。ちなみに、2.7.1では前のパーサコンビネータは scala.util.parsing.combinatorold といういかにも使いたくない名前にされてしまった。 パーサコンビネータといえば言語処理系だ（そうか？）。というわけで scala.util.parsing.ast は置いておいて、とりあえずASTについてほとんど考える必要がない、簡単なスタック指向言語を実装してみることにする。実行はScala 2.7.1.finalで。 スタック指向言語とは
GitHub - cdiggins/cat-language: Cat - a statically typed functional stack-based programming language
Factor クエックブック
Fator とは FAQ によると Factor は 関数型で、動的型付けで、オブジェクト指向で、スタックベースのプログラミング言語であり、Forth と Lisp を組合せたような言語だそうです。 設計者は Slava Pestov さん。 UI 系や Web 系のライブラリも充実しているようです。 素材 まずは素材からです。 サイト 公式サイト : Factor programming language planet-factor インストール ダウンロードは http://factorcode.org/download.fhtml から。 Windows と Mac OS X は バイナリがあります。 Linux はソースからビルドする必要があります。 ソース Factor-0.91.tar.gz と ブートイメージ boot.x86.64.image をダウンロードします。 tar
線形論理とコンピュータ革命 - 言語ゲーム
週末は Linear Logic and Permutation Stack -- The Forth Shall Be First http://home.pipeline.com/~hbaker1/ForthStack.html 読んでいた。思ったのは、線形論理が私の人生の疑問の半分くらいを解決するだろうという事。そしてアランさんの言うコンピュータ革命とはこういう事なのかも知れないという事。 身分不相応にも未来を予測してみる。近い将来、小学校で習う算数は線形論理に基づいた物になる。未来の子供達は、カッコや優先順位や変数に悩まされる私達の数学を見て、何て野蛮で非能率なのだと言うだろう。まるで我々が漢数字やローマ数字の数学を、きわめて技巧的で非論理的だと思うように。 線形論理に基づくプログラミングとは、変数の使用を一度しか認めないプログラミングの事を言う。一度しか認めなくてプログラムなんか
ACM Sigarch Comp. Arch. News 22, 1 (Mar 1994), 34-43.
THE "FORTRAN FALLACY" For 40 years, programmers have tried to utilize mathematical expressions to program computers. Indeed, "FORTRAN" is a contraction of "FORmula TRANslator", because Fortran's selling point was its close relationship to mathematical formulae. For example, one solution of a quadratic equation x=(-b+sqrt(b^2-4ac)/2a in Fortran is X=(-B+SQRT(B**2-4*A*C))/(2*A). Although this one-di
TopPage - Verilog HDL & FPGA
FPGAボード（Spartan-3Eスタータキット，またはSpartan-3Aスタータキット）で動作するCPUをVerilog HDLで設計します． さらに，そのCPUをターゲットとするアセンブラとコンパイラも設計します． ソースコードはかなり簡潔に書かれており，コード量がかなり少ない（約250行程度）にもかかわらず，必要最低限の機能をもったＣＰＵがＦＰＧＡボードで正しく動作します． ソースコードの簡潔さに重点をおいているので，回路が使用するリソースや効率化は重視していません． 論理合成ツールの安定性とVerilog HDLの基本構文のみ用いることを考慮し，ソースコードは原則Verilog-95に準拠しています． Verilog 2001などでも論理合成可能です．アセンブラはPerl，コンパイラはflexとbisonで記述されており，きわめて少ないコード量で正しく処理することができます．
Philosophy
Featured courses Diplomas Gain entry to a range of Bachelor courses by studying a La Trobe Diploma. Online degrees Get the standing of a reputable university with the flexibility to study anywhere, anytime. Packaged course offers Secure your spot in not one degree – but two. Short courses Upskill fast or make a switch into a new career.
Index of /anton/vmgen
Vmgen interpreter generator Vmgen supports the construction of interpretive systems by generating the code for executing and dealing with virtual machine (VM) instructions from simple descriptions of the VM instructions. Vmgen generates code for executing VM instructions (with optional tracing), for generating VM code, for disassembling VM code, and for profiling VM instruction sequences. A VM ins
色んな言語(stack)のメモ - Personal_NewsN
モナドの謎ってのは，世間一般で思われているのよりも根元的な意味で深いのかもしれないし，どうでも良いのかもしれない このエントリ、いい。 Forth界に衝撃を与えた（？）これらの記事[言語] Concatenative、[言語][Forth][Joy] それは逆ポーランドじゃない(1)から、関数合成ベースの発想。 何だか、関連がありそうに思えて来る。 ところで、何故、Forthは、スタックを好きなだけ作れないんだろう。変数でも、世界全部でも、何でも適当に名付けたスタックに載せて、次のwordに渡せばいいのに（スタック渡しか？）。この辺り、読み落としてるっぽいなぁ。 データが、じゃなくて、構造が、だな。 2007.01.31 え〜と、考え中だけれど。Forthの関数（ワード）は、与えられるデータに、何らかの構造を想定したものだよね。で、構造が明記されるのは、ワード定義側だよね。だから、何だっけ
The Theory of Concatenative Combinators
Brent Kerby (bkerby at byu dot net). Completed June 19, 2002. Updated February 5, 2007. Introduction A Few Combinators: swap, dup, zap, unit, cat, cons, i, dip Lambdas An Abstraction Algorithm The sip Combinator Schemes of Combinators: dign, buryn Another Combinator Scheme: flipn Two More Schemes: dipn, sipn Applicative Combinators: w, k, b, c, s Towards a Minimal Base: {cons, sip, k} A Smaller Ba
Stack Computers: the new wave -- an on-line book
Philip J. Koopman, Jr. The ENTIRE BOOK is available to read on-line or to download for off-line reading! Published in 1989, this was the first book to explore the new breed of stack computers led by the introduction of the Novix NC4016 chip. The author commences with an overview of how stacks are used in computing, and a taxonomy of hardware stack support which includes a survey of approximately 7
MicroCore Home
MicroCore This site is the home of the "MicroCore" Project. What's new? Report on the use of uCore presented at the 20th euroForth conference 2004 MicroCore 120 is released. Get it from the Download page. MicroCore 120 uses a SYSCLK twice the uCore clock, getting rid of all asynchronous signals generating precise write clock signals for external data- and/or program-memory. Program memory wi
Forth Chips
www.UltraTechnology.com Forth Chips This page contains references to many of the Forth chips that I have heard about. Online References: Stack Computers is the definitive online reference and should be required reading. Dr. Philip Koopman has graciously put his book online. As the designer of several of the machines listed on this page he provides a detailed overview of the subject and with his pe
ABC machine instructions
This documentation is based on the knowledge obtainded through implementing CleanJ system. This is not an official document and there are no warranty of the correctness. ABC machine is made of three stack memories (argument stack, basic-value stack and control stack) and one heap memory. argument stack (A-Stack) a stack of pointers to a thunk. basic-value stack (B-Stack) a stack of basic values. B
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Forth Chips