Why Futhark?
Futhark is a small programming language designed to be compiled to efficient parallel code. It is a statically typed, data-parallel, and purely functional array language in the ML family, and comes with a heavily optimising ahead-of-time compiler that presently generates either GPU code via CUDA and OpenCL, or multi-threaded CPU code. As a simple example, this function computes the average of an a
関数型言語 C++ - 兼雑記
C++ は JS ほどじゃないにせよ、誤解されてきた言語だと思います。いや、複雑だとかいうのは誤解ではなく紛うことなき真実なのですが、その複雑さがただパラノイアから来た複雑なだけのものではなく、一応の有用性を伴うものだ…っていやそれはわかってそうな気はするので、誤解というほどのことでもないわけですが、昨今に比べて、なんか有用そうなものである、という認識は低めだったように思います。 ただ今度は、なんか関数型な雰囲気らしーぜ、というだけの単語が一人歩き気味な気がします。なんかわからんけど C++ すげー、みたいな、一昔前の Haskell が得ていたようなイヤな地位をゲットしているような気がして、それはそれで別の種類の、ある種の誤解であるように思ったのでした。 というわけでマルチパラダイム言語 C++ について、関数型言語としての機能について僕の見方を。 まず絶対に意識して欲しい部分なのですが
「12月21日は名古屋に逃げろ」 マヤの世界滅亡説で名古屋だけが安全とアメリカ人研究者 カナ速
マヤの予言２０１２年人類滅亡説「12・21名古屋へ逃げろ」は本当か!? vol.1 Ｘデーは２０１２年１２月２１日。地球が滅びるというのだ。 何をバカなと思う方もいるだろうが、 この"地球の終わりの日"は全世界を揺るがしている。 フランス南部にある、人口わずか２００人の小さな山村ビュガラッシュ。 予言者・ノストラダムスも訪れたこの地に現在、世界各地から"終末論者"が大挙押し寄せてきているという。 「その数、実に３０００人。ここは、"世界の終わりを逃れる聖地"といわれており、ホテルは満室。平地はテントやキャンピングカーで埋め尽くされています」（在仏の全国紙記者） 地球の終わりを予言するのは、"マヤ文明"の暦だ。 「マヤ文明とは、中央アメリカのメキシコを中心に、３～９世紀に最盛期を迎えた古代文明。 太陽暦や太陰暦、金星暦を組み合わせた複雑な"暦法"が古くから発達し、 神話を用いた知性的な文化を
t.dvi
Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS-96-177 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Peter Lee, Chair Robert Harper Daniel Sleator Robert Tarjan, Princeton University Copyright c 1996 Chris Okasaki This research was sponso
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
dbp.io :: FunTAL: mixing a functional language with assembly.
403 - Forbidden Access to The Digital Library
Jobs - July 2024 | Functional Works
The Ur Programming Language Family
igeta/Ariawase · GitHub
Home - Metasepi
CiteSeerX
CiteSeerX
Functional Data Structures in Typed Racket