ウェブブラウザで関数型プログラミング! js_of_ocaml - camlspotter’s blog
js_of_ocaml が熱い。 Google の Dart とか、そんな場合じゃない!! OCaml で書かれたプログラムがなぜか JavaScript に変換され、それがブラウザで動く。 JS で型がついていないオブジェクトでも何となく型をつけて OCamlで型安全に呼び出せる! 既存の JS ライブラリ資産が、ほとんど手間をかけずに、そのまま関数型言語パラダイムで使える! え？よくわからない？ http://ocsigen.org/js_of_ocaml/manual/ の demo を試してご覧なさい。これが全部 OCaml で書かれている…! そんなわけで、 js_of_ocaml 体験記。だいたい実際に行っていった Hack を(行き止まりになった失敗枝は刈り去って)なぞっている。あ、ちなみに当方 JavaScript に関してはほとんど知識が無い。JS に関しては用語とか間違
Quark Framework - Wikipedia, the free encyclopedia
The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform. The framework allows the compilation and evaluation of functional logic on the Java Virtual Machine (JVM), directly or under the control of a regular Java application. The native language (syntax) for the Quark Framework is called CAL. A full range of Java APIs provides the means to inv
Jaskell - Home
What is Jaskell? Jaskell is a functional scripting programming language that runs in JVM. The name "Jaskell" stands for Java-Haskell, Haskell being the famous pure functional programming language. Why Jaskell? There are already many cool scripting languages in jvm. Jython, JRuby, Groovy etc. They are all excellent and very practical scripting languages. Why yet another scripting language? Well. Ja
Tiny CLOS 入門 - Tiny CLOS Tutorial
紹介 - Introduction どうやって Tiny CLOS を使うか - How to Use Tiny CLOS CLOS vs. 他のOOPのアプローチ - CLOS vs. other approaches to OOP CLOS のクラスとオブジェクト - Classes and Objects in CLOSインスタンスの生成 - Creating instances クラスの作成 - Creating classesインスタンス変数 - Instance Variables 総称関数とメソッド - Generic functions and methods総称関数の作成 - Creating generic functions メソッドの作成と追加 - Creating and attaching methods 総称の初期化 - The initialize gene
Scala開眼
1階受付：インストール等 / 1階案内版：コマンド / 2階：書き方 / 3階：文と式 / 4階：関数 / 5階：オブジェクト指向 / 6階：型 / 7階：注釈等 / 屋上：言語仕様要約 / 雲：scalaパッケージ概観 / 青空：その他の付属パッケージ概観 なお、以上の解説はJavaの文法とコマンドや標準ライブラリ等を一応知っていることを前提（現行のScalaはなおJavaライブラリへの依存度が高くScalaだけで完結できる状態では無い。なお、Scalaのコンパイラ自体はJava1.4用のコードも吐けるが、標準ライブラリが多く1.5を前提としている）とし、その違いだけをとりあえずは書き留めるものである。もっぱら文法やライブラリ参照用であることを目指しているので、例や特長等は次のリンクを参照されたい（なおただし、原著者たちの配慮にもかかわらず、それらの例は関数型言語に関する事前の概要的把握
Functional Programming and the J Programming Language
John E. Howland Department of Computer Science Trinity University 715 Stadium Drive San Antonio, Texas 78212-7200 Voice: (210) 999-7364 Fax: (210) 999-7477 E-mail: jhowland@Ariel.CS.Trinity.Edu Web: http://WWW.CS.Trinity.Edu/~jhowland/ A brief introduction to functional programming is given using the J programming language for examples. Several examples show the expressive power of functional lang
flatline's Wiki for memo - Y in Practical Programs
大抵，Yコンビネータには型推論はできない． でも例えばStandard MLの再帰関数を定義する機能を使えば楽々定義できる． fun Y f x = f (Y f) x fun fact_ fact x = (* この fact_ を "seed" と呼ぶ *) if x = 0 then 1 else x * fact (x-1) val fact = Y fact_ "Seed" にラッパをかぶせれば機能を楽に付加できる． fun printerWrapper f_ f x = let val result = f_ f x val _ = printInt result in result end val factPrint = Y (printerWrapper fact_) このfactPrintは再帰の途中経過を印字する． Haskellのように副作用をモナドで分離しなければな
Haskell-style monad do-notation for Ruby
This domain has been purchased and parked by a customer of Loopia. Use LoopiaWHOIS to view the domain holder's public information. Are you the owner of the domain and want to get started? Login to Loopia Customer zone and actualize your plan. Register domains at Loopia Protect your company name, brands and ideas as domains at one of the largest domain providers in Scandinavia. Search available dom
Reddit - The heart of the internet
Skip to main content �tͪ� �S6ͪ� Page not found
本物のプログラマはHaskellを使う：ITpro
筆者 shelarcy Haskellは，関数型プログラミングというジャンルに属する言語です。Haskellや関数型プログラミングを題材に物事を見ていくことで，今まで思いもよらなかったような未知の世界を知ることができるでしょう。 プログラミング言語を学ぶという行為には， 言語の基本的な文法や考え方を理解する 言語の文化圏で広く使われている考え方に親しんでその言語らしい書き方を習得する 単に言語を使ってできること以上の知恵を学ぶ の3段階があります。この連載では，三つ目の段階を目標に，Haskellプログラミングの世界を一つひとつ丁寧に紹介していきます。 更新は毎月第1水曜日（1月のみ第2水曜日）
Hoogle
Welcome to Hoogle Links Haskell.org Hackage GHC Manual Libraries Hoogle is a Haskell API search engine, which allows you to search the Haskell libraries on Stackage by either function name, or by approximate type signature. Example searches: map (a -> b) -> [a] -> [b] Ord a => [a] -> [a] Data.Set.insert +bytestring concat Enter your own search at the top of the page. The Hoogle manual contains mor
A Note on Declarative Programming Paradigms and the Future of Definitional Programming
UtbildningForskningSamarbeta med ossOm ChalmersAktuelltInstitutioner InstitutionenData- och informationsteknikVi bedriver forskning och utbildning inom AI, cybersäkerhet, interaktionsdesign, software engineering, computing science och datateknik – från grundforskning till direkta tillämpningar. Vår utbildning rustar studenter för framtiden, samtidigt som vår forskning sker i nära samverkan med när
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.kablambda.org/blog/2009/07/27/functional-programming-on-android/
HugeDomains.com
Nix & NixOS | Declarative builds and deployments
http://nsl.com/papers/interview.htm
John Backus: Function Level Programming and the FL Language : Free Download, Borrow, and Streaming : Internet Archive
Forthfreak wiki
It works! Apache httpd
Realization of natural language interfaces using lazy functional programming | Lambda the Ultimate