type t (* void *)

関数型言語や英語学習の事とか。

OCaml: RWOを読み進めるためのOCaml設定

20150426加筆 RWOの説明を書いた
20150422加筆 より細かく書いた

20150909加筆 以下の内容はDebian 7向けに書かれており古いです! Debian 8ではより簡単にopamをインストール出来るようになっています! 下の記事では重複する部分は書きませんでしたが、インストール方法については下の記事が最新です。

no-maddojp.hatenablog.com

なんかちょっとだけOCaml環境構築が面倒みたいな話があったので、構築手順を書く。
大体確かめられた手順なのでよいはず。

Emacsのインストールまで解説しますが、RWOを読み始めるにあたりエディタの設定は必ずしも必要ではありません。
楽しんで下さい。

続きを読む

ThinkPad A285覚書

Lenovo ThinkPad A285 | 高いパフォーマンスとモバイル性能を追求した12.5型軽量モバイルノート | レノボジャパン

SSD500GB, メモリ16GBにカスタマイズして買いました。
当面はWindows, Ubuntu 18.04のデュアル構成を続けますがめんどくさくなったらWIn一本でsshで常に作業することにします。

Ubuntu 18.04使いたいのはpython3のバージョンが最初から3.6が使えるからですね。 pyenvとかやるのめんどくさいしなんかtkが動かなかったりしてmatploblibで描画できなかったりするので。。。

続きを読む

Emacsでpythonを書く環境

老人なのでemacsでプログラムを書いていますが、最近はpythonを少しだけ書く必要があったので環境の話をまとめます。
melpaにアクセスできることを想定してます。

念の為、バージョンに依存するところはないと思いますがpackage.elを使うので24以上、 私の環境は26.1です。

続きを読む