ウェブブラウザで関数型プログラミング! 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 に関しては用語とか間違
関数オブジェクト - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2024年4月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2024年4月） 独自研究が含まれているおそれがあります。（2024年4月） 出典検索?: "関数オブジェクト" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 関数オブジェクト（かんすうオブジェクト、英: function object）は、プログラミング言語において、関数（サブルーチンまたはプロシージャ）を、オブジェクトとしたものである。手続きオブジェクトとも言う（プロシージャ＝手続き）[要出典]。なお、ここでのオブジェクトの語は、いわゆるオブジェクト指
Functor - Wikipedia
This article is about the mathematical concept. For other uses, see Functor (disambiguation). "Functoriality" redirects here. For the Langlands functoriality conjecture in number theory, see Langlands program § Functoriality. In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such a
fogus/funode - GitHub
Funode novus ova seclorum I give node.js a ribbing from time to time, mostly in response to the propensity of its greatest adherents to view it in an unrealistic light. My real bias is of course against Javascript. My problem with Javascript has always been that expertise is defined more in terms of understanding its faults rather than its features. Node.js needs to be liberated from the shackles
JavaScript による型推論器の実装 - takuto_hの日記
型推論に興味はあるけど、抽象的な説明が多く難しそうだと思っている方々。基礎的なことを押さえておけば、型推論器は簡単に実装できます。 ここでは、私が JavaScript で書いた型推論器を例に、型推論の基本的なアルゴリズムの一例を具体的に説明していきます。解説対象は、ibis-js-1.0.0です。 型推論の可視化ツールを使いながら読むとよりわかりやすいかもしれません。 目次 型変数と単一化 多相型 let と let rec バリアント型
関数型的正規表現マッチ - Preferred Networks Research & Development
最近ローソンでお菓子をたくさん買った田中です。 近頃読んで面白かった論文を紹介したいと思います。 A Play on Regular Expression 今年のICFPでFunctional Pearlとして発表されたものです。ICFP（International Conference on Functional Programming）というのは、関数プログラミングに関する国際学会で、Functional Pearlというのは、エレガントでためになる、関数プログラミングのテクニック集です。 この論文ではまず、正規表現マッチャを関数型言語(Haskell)でいかにエレガントに記述できるかが示されます。それから、エレガントさを保ったままの線形時間実装へ改良し、その実装がC++によるプロフェッショナルな実装(具体的にはGoogle re2)に匹敵するパフォーマンスを示すことが示されます。さら
From Javascript To Haskell
This document discusses JavaScript and Haskell. It provides code examples comparing features of the two languages such as functions, recursion, lists, and higher-order functions. It also discusses Haskell concepts like lazy evaluation, monads, and type inference.Read less
DetonationFlash: GroovyでHigher-order functions
読書会にそなえSICPとガウディ本に目を通していたら高階プログラミングが目にとまり、最近お気に入りになった Groovyではどうなのかとちょっと調べてみる。 コンピュータプログラミングの概念・技法・モデルから引用 高階プログラミング（higher-order programming）は、プログラムの中で手続き値(procedure value)が扱えれば、利用できるプログラミング技術の集まりである。手続き値は字句的スコープ閉包(lexically scoped closure)ともいう。「高階」という言葉は手続きの「階数(order)」という概念から来たものである。そのすべての引数が手続きでないような手続きを１階という。この種の手続きしか許されない言語を１階言語という。その引数にすくなくとも１つの１階手続きをもつ手続きを２階という。以下同様にして、その引数に少なくとも１つのn階手続きを持
Create new page · motemen/arrow-js Wiki
Attach files by dragging & dropping, selecting or pasting them. Loading Uploading your files… We don’t support that file type. Try again with a GIF, JPEG, JPG, MOV, MP4, PNG, SVG or WEBM. Attaching documents requires write permission to this repository. Try again with a GIF, JPEG, JPG, MOV, MP4, PNG, SVG or WEBM. We don’t support that file type. Try again with a GIF, JPEG, JPG, MOV, MP4, PNG, SVG
inforno :: 日本語プログラミング言語Scala
via 第20回 日本語でおk Ruby もいいけど Smalltalk でも、おｋ。 Scalaはメソッド名に日本語使えるよ。Scalaは日本語プログラミング言語だよ(言いすぎ)。 1object JapaneseLanguage { 2 class Standard[A](self:A) { 3 def の[B](f:(A) => B) = f(self) 4 def を[B](f:(A) => B) = f(self) 5 def する() = () 6 } 7 8 class PseudoKansai[A](self:A) { 9 def のな[B](f:(A) => B) = f(self) 10 def をな[B](f:(A) => B) = f(self) 11 def すんねん() = () 12 } 13} 14 15 16def 平方根(v:int) = Math.sq
ArcLite - Arc Ported to JavaScript
So, Arc came out about a week ago, and I tried to stay away, but it was just too tempting. I ended up spending a week porting it to JavaScript. You can download the implementation as either a single file or as a tarball. The unit tests assume you have JSUnit installed and accessible. Notes & deviations from the reference implementation: Supports Unicode, at least as well as JavaScript supports it
netswitch! | ある日のXSLT
Posted by nanki Wed, 15 Aug 2007 09:05:00 GMT XSLで関数型プログラミング <?xml version='1.0' encoding='utf-8'?> <xsl:stylesheet version='1.0' xmlns:xsl='http://www.w3.org/1999/XSL/Transform' xmlns:common='http://exslt.org/common'> <xsl:template match="array"> <xsl:call-template name="sum"> <xsl:with-param name="array" select="."/> </xsl:call-template> </xsl:template> <xsl:template name="sum"> <xsl:param name=
「Javaに並列処理と関数型言語の要素を」、ティム・ブレイ氏 ― ＠IT
これまでCPUはムーアの法則に従って高速化してきたが、今後、CPUは高速化よりも並列化が進む。「これまでは動作の遅いプログラムでも、来年には高速に動くというのが常識でした。しかし、これはもはや現在の状況には当てはまりません」。サン・マイクロシステムズでWebテクノロジー関連のディレクターを務めるティム・ブレイ（Tim Bray）氏は、近い将来にプログラマが直面する問題は、CPUのコア数が増えてハードウェアの並列化が進むのに対して、現在使われている言語の多くで並列プログラミングのサポートが十分でないことだという。 「UltraSparc T1では8コア32スレッドの並列処理が可能です。IBMやAMD、インテルもCPUのコアの数を増やしつつあります。JavaEEを使えばスレッドサポートによる並列化の恩恵にあずかれますが、そうでない言語も多くあります」。 ブレイ氏は、こうした問題に対して2つの方
Affordable Hosting Plans - Dedicated Web Support | Lunarpages Web Hosting
We're sorry! This account is currently unavailable. Please check the email address on record for this account for a notification from Lunarpages. If you are the owner of this account, please contact us by email at support@lunarpages.com or via Lunarpages Helpdesk at https://support.lunarpages.com. Thank you for choosing Lunarpages Internet Solutions. Support: 877.586.2772
Rubyで関数プログラミング 【目次】
このページでは、Rubyを使って、関数プログラミングを行ってみたいと思います。 Rubyは、よくいわれるように命令型言語の発展形たるオブジェクト指向型言語ですので、関数プログラミングを行うのに適した言語ではありません。しかし、全く関数プログラミングの特徴を伝えることができないわけではありません。それに必要ないくつかの機能を備えていると思います。従って、Rubyで関数プログラミングを行うことにより、関数プログラミングへのイントロダクションにしてみたいと思っています。 念の為言っておきますが、私はRubyをよく知りません。しかし、動的束縛のオブジェクト指向言語ということなので、その言語構成は、型システム以外はメジャーな多目的言語(C++,Object Pascal等)とそう変わらないと思います。というか、完全にそういう前提で話をします。 因みに、参考資料は、言語仕様に関するヘルプ、オライ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
fogus: Node.js is dead. Long live Node.
railspikes.com