プログラミングと関数型言語に関するl-_-llのブックマーク (6)
-
Rust は、Firefox を開発する Mozilla が開発し、次世代ブラウザの開発に使っているプログラミング言語です。借用検査という概念を導入することによりメモリ安全およびデータ競合安全をコンパイラが保証する言語であり、2015年中頃の安定版のリリースあたりから次第に注目を集めるようになりました。 メモリ安全とは、メモリの範囲外アクセスや二重解放、ヌル参照、未初期化領域へのアクセスがない状態を表します。ただし、Rust の言うメモリ安全とは、メモリリークをしないことを保証するものではありません。 データ競合安全とは、あるひとつのオブジェクトに対しての読み込みおよび書き込みのが同時に起き結果が不定になる状態にならないことを表します。競合状態とは異なります。 無名関数という概念を様々な言語が次々と導入したように、プログラミング言語は相互に影響を及ぼし徐々に変化しています。Rust は﹁寿
-
全体目次‥ 第1歩‥しりとりの圏 ︵このエントリー︶ 第2歩‥行列の圏 第3歩‥極端な圏達 第4歩‥部分圏 第5歩‥変換キューの圏 第6歩‥有限変換キューと半圏 第7歩‥アミダの圏 第8歩‥順序集合の埋め込み表現 第9歩‥基本に戻って、圏論感覚を養うハナシとか 付録/番外など‥ 中間付録A‥絵を描いてみた 番外‥同期/非同期の結合 中間付録B‥アミダとブレイド 番外‥米田の補題に向けてのオシャベリ 一部のプログラミング言語の背景として、圏論︵カテゴリー論︶が使われたりするせいか、以前に比べれば多少は圏論に興味を持つ人が増えたような気がしなくもないような。でも、安直な入門的文書はあまり見かけないですね。もちろん、シッカリした教科書や論説はあるんですが、どうもシッカリし過ぎているような。例えば、圏の例として﹁コンパクト・ハウスドルフ空間と連続写像の圏﹂とか言われてもねぇ︵この例はいい例なんです
-
先日、日経コンピュータ特集記事の取材で東京都内の某所にある﹁Tsuru Capital﹂という、高頻度取引︵HFT、High-Frequency Trading︶を手掛ける企業のオフィスにお邪魔した。 HFTというのは、プログラムによって株式などの金融商品を数ms︵ミリ秒︶から数μs︵マイクロ秒︶で高速に自動取引すること。自己資金で取引する﹁プロップファーム︵proprietary trading firm︶﹂と呼ばれる企業が中心で、米GETCO︵2013年7月に米Knight Capitalと合併︶などが有名だ。 HFTを行うプロップファームの多くは、米国など海外に拠点を置いており、Tsuru Capitalのように日本国内に拠点を置く企業は珍しい。株式売買では、海外企業であっても国内の証券会社と契約し、自社の取引プログラムをその証券会社のサーバーに配置すれば日本市場でのHFTは行える。
-
ここ数日の佐藤先生のエントリが熱い! Erlang、Scala、Go、Javaなどの現代の言語︵Erlangは古いか︶における並行処理の扱い方について、それぞれの歴史的背景や意義、得手不得手などがわかりやすく紹介されてます。80年代から並行処理やオブジェクト指向を研究されてきた佐藤先生ならではの視点ですね。ちょっと長くなりますが特に私が興味深かった部分を引用します︵強調は私︶‥ 佐藤一郎: Web日記 (2010年) 最近、興味深いのはオブジェクト指向言語のScalaやErlangが話題を集めていることでしょうか。どちらもActor Modelをベースにしているそうですが、オブジェクト指向言語の歴史でいうと、Actor Modelなどの並行処理用オブジェクト指向言語の研究が盛んになったのは1985年からの6,7年ぐらいだと思います(Actor Model自身はもっと古いですが)。そして19
-
-
この記事はドワンゴ Advent Calendar 2014の14日目です。 ちなみに前日は@erukitiさんでした。 他の方は﹁こんなもの作ってみた!﹂系の記事が多いのですが、技術系の話題であれば特に縛りはないようなので、今回はひたすら文章をつらつらと綴っていきたいと思います。 ここ数年、﹁マルチコア時代の主流は関数型だ﹂とか﹁Javaはもう古い! 時代は関数型!﹂といった記事をよく見かけるようになった気がします。 大学でOCamlを学んできた自分としては嬉しい限りなのですが、なんだか関数型という言葉がバズワード的な使われ方をしている気がして、まるで﹁現在起こっている全ての問題を解決する銀の矢だ!﹂といわんばかりの雰囲気を感じるのが気になっています。 最近うちの部署でもにわかに﹁関数型っぽく書こう﹂みたいな機運が高まってることもあるので、この機に関数型プログラミングとはなにか、どのよう
-
1