Why Haskell is Good for Embedded Domain Specific Languages
Domain Specific Languages (DSLs) are attracting some attention these days. They have always been around, of course: Emacs Lisp is a DSL, as are the various dialects of Visual Basic embedded in MS Office applications. And of course Unix hands know YACC (now Bison) and Lex (now Flex). However creating a full-blown language is a lot of work: you have to write a parser, code generator / interpreter an
Teaching, Playing, and Programming
More than a year ago, I answered a question on Stack Overflow about the Quickselect algorithm, which takes some unsorted data and finds the k-th smallest value (that is, the value that would be in position k if you were to sort the data). The person asking the question had seen multiple technical descriptions of the algorithm, but was looking for a simplified explanation that was not expressed as
Grass the grass-planting programming language
ちょっと草植えときますね型言語 Grass _, ._ （ ・ω・） んも〜 ○=｛=｝〇, |:::::::::＼, ', ´ ､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗＷｗ ｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ 作ってみたｗｗｗｗｗ とりあえず公開ｗｗｗｗｗｗｗっうぇ つ 日本語 Implementations Interpreters Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in NicoScript Interpreter written in Prolog by zick Interpre
The Scheme Programming Language, 2nd Edition
© 1996 Prentice Hall PTR Prentice Hall, Inc. A Simon and Schuster Company Upper Saddle River, NJ 07458 R. Kent Dybvig The Scheme Programming Language, Second Edition © 1996. Electronically reproduced by permission of Prentice Hall, Upper Saddle River, New Jersey. http://www.scheme.com Illustrations © 1997 Jean-Pierre Hébert to order this book about this book
NAUGHTYINFO
Instalasi AndroidPindai kode QR untuk AndroidPilih buka situs webPilih "UNDUH" untuk mengunduh MITRAJP AppPilih "PENGATURAN"Pilih "Mengizinkan" dari sumber kamiPilih "Terima"Pilih "INSTAL" Situs Judi Slot Online Paling Gacor No 1 IndonesiaMitraJP adalah situs judi online terpercaya dan agen resmi judi slot online gacor di Indonesia yang memiliki berbagai permainan slot terbaik dan terpopuler 2023.
The Esterel Language
Welcome to Esterel and Synchronous Reactive Programming ! Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state machines. It is one of a family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited to programming reactive systems, including real-time syst
setjmp/longjmpとローカル変数 - sumiiのブログ
call/ccが出てきたので、ついでに： #include <setjmp.h> int main() { int x, y; jmp_buf k; x = 123; y = setjmp(k); if (y == 0) { x = 45; longjmp(k, 1); } return x + y; } はいくつを返すか、という話。 > gcc jmp.c -o jmp > ./jmp > echo $status 46 > gcc -O3 jmp.c -o jmp > ./jmp > echo $status 124xにvolatileをつけ忘れると、こういうこと↑になります… Cf. > (let ((x 123)) (let ((y (call-with-current-continuation (lambda (k) (set! x 45) (k 1))))) (+ x y)))
The POPLmark Challenge - POPLmark
The POPLmark Challenge is a concrete set of benchmarks intended both for measuring progress and for stimulating discussion and collaboration in mechanizing the metatheory of programming languages. [edit] News [8 Nov 2007] André Hirschowitz and Marco Maggesi have posted an updated solution to part 1a. [28 Sep 2007] There will be a workshop at POPL 2008 on Using Proof Assistants for Programming Lan
Refactoring Functional Programs
Refactoring is about `improving the design of existing code' and as such, it has been practised as long as programs have been written. The term refactoring specifically refers to a common activity in programming and software maintenance: changing the structure of a program without changing its semantics. Often, refactoring precedes a program modification or extension, bringing the program into a f
Programming Languages: Application and Interpretation by Shriram Krishnamurthi
Programming Languages: Application and Interpretation Copyright © 2003-07, Shriram Krishnamurthi Creative Commons Attribution-NonCommercial-ShareAlike 3.0 United States License Version 2007-04-26 This page is for the first edition of the book. I have since completely rewritten the book from scratch. Though the general principles underlying this book remain the same, the new book has better prose,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Isaac project
Non-null references? | Lambda the Ultimate
http://www.redmountainsw.com/wordpress/archives/flow
The Joel on Software Discussion Group (CLOSED) - Lanuguages *must* move forward (except for Lisp, of course) :-P
http://wagerlabs.com/2007/5/26/who-let-the-dogs-out
http://www-sop.inria.fr/esterel.org/
http://kogs-www.informatik.uni-hamburg.de/~haarslev/vl95www/html-papers/citrin/citrin.html
Ask reddit: What's the exact meaning of 'closure' : programming
http://www.transterpreter.org/wiki/Main_Page
DrHylo - Personal/Alcino - TWiki