type t (* void *)

ソフトウエアのこととか

2014-01-01から1年間の記事一覧

OCaml: 内部のデータ構造とか多相的な配列へのアクセスとか

この記事は ML Advent Calendar 2014 - Qiita の13日目のために書かれた。MLというかOCamlべったりな内容なのですが……。 雑多な小ネタ集。全て4.02.1で確認した。OCamlの挙動でよくわからないことを中途半端な時間があったので調べた。

OCaml: merlinでcompilerのコードを補完できるようにする

追記: 冷静に考えて前提知識を求め過ぎなので幾つか追記しました。 OCamlのプラグインであるmerlinの紹介記事です。Linux環境で、Emacs上にてそれを試してみます。 この記事はML Advent Calendar 2014 1日目の為にかかれました。

OCaml: 楽しいOCamlプログラミング

楽しいかどうかは個人に依ります。 追記:4.02.1で動作確認

プログラミング言語の話: パラメータ多相性の実装についてのサーベイ

ゼミでParametric polymorphismの実装方法についてサーベイをしたのでそれについて書く 早足に論文を読んだところもあるので内容の正しさ無保証です

一般の話: 一ヶ月トーキョでインターンシップやってます

やっている最中です。こんばんは。 トーキョで暮らした感想など

プログラミングの話: VS+F#を真面目に3日くらい使った感想

普段OCamlをEmacsで書いてる私がVisual studio 2013でF#を3日くらい書いた感想です。

一般の話: プログラミングってどうやったら出来るようになるんでしょうね

ストレス解消に文章を書きます。ただの思い出話です。 どうやったらプログラミング出来るようになるんでしょうねという話です。 特に取り留めもなく文章を書いています。

一般の話: 関数型言語LT大会で発表してきました

5月10,11日は東京に滞在してイベントに参加してきました。 レポートと感想など。

Emacs: 即席コピペの方法

多くの人に聞かれたので、Emacsでのコピペのやり方を書く。 主に最近Emacs使い始めてコピペのやり方がわからない人向け。即席でEmacsを使う必要のある方のために。 ホントはC-h tを押してちゃんとチュートリアルをやって欲しいですが。

SML#: SML#2.0.0 のベンチマーク

追記:1.2.0 と 2.0.0の比較を追加しました SML# 2.0.0 をリリースしました。今度のSML#はLLVMベースです! http://t.co/tjUmWY4cQI #smlsharp— SML# (@smlsharp) 2014, 4月 4 3月にお酒を飲んでいる時、uenoさんやO堀先生が今年度中に版上げをする、と仰っ…

一般の記事: 自分がなぜ今のサブカル好きになったのか分からない

最近ハガレン連載前のガンガンの話とかデジモンの話とか涼宮ハルヒ前のラノベの話とかをすることが続いているのですが、なぜ自分でもこういうのが好きになったのか分からなかったので自分が見た・読んだ・影響を受けた作品を羅列して考えてみることにしまし…

OCaml: 型注釈って面倒ですね。

卒論で死にそうです。色々。 PPLのポスター発表に間に合うのでしょうか、その前に卒論発表会に間に合うのか…。 それはさておき、型注釈を色々見ていたら、MLも闇だなぁと思ってたのでちょっとメモしてみます。