2014-01-01から1年間の記事一覧
(defun haskell-dquote-plusplus-plusplus-dquote (arg) "Insert \" ++ ++ \"" (interactive "p") (insert "\" ++ ++ \"") (backward-char 5))でこれを (local-set-key "\C-x\"" 'haskell-dquote-plusplus-plusplus-dquote) で便利便利!
utme http://utme.uniqlo.com/ が日本ではちょっと流行っているようです。一枚から。1990円。私もデザインだけしてみました: シルクスクリーンは品質は良いんですけど、スクリーンを作る必要上、フルカラーは無理(普通は単色で、地色とのコントラストにあな…
OCaml 4.02 に追加された新しいモジュール型、 (module M) が結構いけているのです。OCaml である既存のモジュールの型は?というと、 module type of M というのがあって、 module type of Unix とやると Unix モジュールの signature を貰えるというもので…
開発者アカウントに金が出せない貧乏人の方々が、次の Apple の Swift のコードの挙動がわからない、というので盛り上がっております: let a = [1,2] // a = [1,2] var b = a; // b = [1,2] b[1] = 3; // a = [1,3] b = [1,3] b.append(5); // a = [1,3] b =…
普段パクリにはうるさそうな連中が Apple 様がパクルとスルーして嬉しそうにしているので、ああ所詮はそういう人達なんだなあと思って拝見しております。 元祖 Swift parallel scripting language: http://swift-lang.org/ アイコンまでクリソツなのでもう駄…
そもそも「関数型言語」という言葉自体、どうなんやいうのもあるんですけど http://www.slideshare.net/ksknac/120901fp-keyとある純粋関数型言語の特徴でもって「関数型言語ではー」とか言われると、非純粋関数型言語のユーザーとしては(いやお仕事では純…
Wodi に依存する場合は死ぬまで依存。上手く行かなくなっても泣かない。Wodi に依存しない場合 OCaml の Windows ビルドは三種類あり、それぞれ特性が違う。これは Native MinGW での話である。他人の Windows での OCaml の話を聞くときにはまずどの種類か…
Summary: OCaml+Mingw or Flexlink need to be upgraded for newer cygwin mingw gcc(I dunno which one exactly) so that -static-libgcc can be given to the link of dllXXX.dll. So far, a tentative fix in OCaml side is to change config/Makefile:FL…
いやまじで使っちゃいけないです。三年前こういうことがあったんです。 Haskell と C++ を使っているコードなんですが、 突然ビルドができなくなる。さっきまで上手く行っていたのに、意味不明な C++ のエラーがゴボゴボ出てくる。 git status や hg status …
人からこんなテクニックを聞いた。私には必要ないが。Stone http://www.gcd.org/sengoku/stone/Welcome.ja.html 設定 火壁つきプロキシがある。 proxy:8080 とする。これが何でもかんでもブロックしてつらい、が、アマゾンで買い物できるように https は通す…
OCaml 演習とかやってひぃひぃ言っている人対象ですぅ。わからない人にはわかるように書いていませんから、「さっぱりわからない」とか呟く前にスルー推奨です type t = int list list list let x : t = [[[1]]] let y = x @ x をコンパイルすると、 x は t …
シンガポールで仕事をしている人や、その家族がパスポートよりいつも肌身離さず持っている率の高いEPやDPカード。そこに記載されている個人識別番号は結構普通にいろんなところで(各種行政書類、電話、ガス、水道、電気の契約、はてはレストランの割引会員登…
I needed the patch discussed in here: https://groups.google.com/forum/m/#!topic/hg-git/YVvcRH8R8NIThenAdd ~/.hgrc: [extensions] hgext.bookmarks = hgext.git = [auth] xxx.prefix = https://github.com xxx.username = my_user_name xxx.password =…
I got a trouble to install wodi32 on my Vista box.bsdtar hang saying: 5 [sig] bsdtar 2428 get_proc_lock: Couldn't acquire sync_proc_subproc for(5,1), last 7, Win32 error 0The real trouble is, this bsdtar process is a real badass. You canno…