基本(Cabal パッケージのインストール) $ runhaskell Setup.hs configure --user $ runhaskell Setup.hs build $ runhaskell Setup.hs install $ ghc-pkg list準備 GHC とか Cabal - パッケージングシステム QuickCheck, HUnit - テストフレームワーク Haddo…

昔入れたけど今のシステムには入っていなかったので入れてみた $ make $ make prefix=$HOME/modules/href-0.3.3 $ env HREF_DATADIR=$HOME/modules/href-0.3.3/data ./mkhref ref/* $ vi ~/modules/href-0.3.3/bin/wrapper.sh $ cat -n !$ 1 #!/bin/sh 2 3 r…

trait の話 Design Descision の話 stackable trait の話 import 文で別名が付けられるよ 形式手法の話とか ついに形式手法勉強会開催か？ with が何回も出るのが面倒な気がした 今回は，演習というか手を動かしてみよう的な時間が長い感じでした． この辺の…

わざと並列っぽいことは一旦飛ばして後でじっくりやろう まずは，3, 7, 9, 19 章を進める Chapter 03, , 07, 09 など Prolog に似てる話 C call と Pascal call の話 普通のパターンマッチ if/case とか パターンマッチとか改行とかのスタイルが知りたくはあ…

遅刻をしました 正直 Erlang Super Lite と間違えていた(来週です もう脳からして Erlang 脳になったと思ったのに(自己満足 2.43 を考えていた accumlate-n が Ruby の Enumerable::zip っぽい accumulate-n を勘違いしていた → tree をmap っぽくするものだ…

もくもく 会場で音がない 死霊資料がスゴい → http://dl.dropbox.com/u/261418/scala-hackathon/index.html Twitter #scalahack がニギワっていた Scala 的な質問も，なんか何秒差とかで答えて負けた．みたいなのがあったらしいですよ 個人的には Swarm -> C…

会場がおっされー (TOKYO CULTURE CULTURE) Monad は，象 というか，禅問答としか思えない 意外に会場でもHaskell を書いていない件 むしろ発表者しか書いてないくらいの勢い 自然言語は，関数型言語 => PTQ - http://www.slideshare.net/sakai/ptqhaskell …

Monad の話 定型だよ Option型 とか List型 から入ってみよう fold の話 closure Coq をやればいいじゃない バスを予約すればいいじゃない Swarm : スケールする継続を使ったフレームワーク？ http://code.google.com/p/swarm-dpl/ こっちの Swarm じゃない …

超ムーミン 口がlite でも，やるときにはやる fold で書くとか 個人的に Gauche の fold の引数と Haskell の foldl の引数の順序が違う気がする(未検証 accumulator って，fold-left だよね fold って，inject? inject (Ruby) は，fold-left だと思う． PHP…

Agda をインストールしようとしてみた． それにはcabal が必要らしい． sudo port hs-cabal だと 10.6.X だとghc をインストールしようともしないので， ソースから．Cabal は cabal-install に必要らしいので．cabal-installを入れてみる．cabal-install $ …

行けません．ダブルブッキングですね．とりあえず宿題は，こっちに書いておきます． g:ocaml-nagoya:id:clairvy:20091109 ツッコミ待ちということにしよう．リンク http://groups.google.com/group/erlang-super-lite http://atnd.org/events/1927

Erlang Super Lite をサボって何をしてたかというと． Agda を勉強してきた． 初日は午後 13:00-17:00 でした． 12 人居る 駅から遠い．雨が降ってれば尚更 Haskell がわかれば，とりあえず最初の一日目は付いていける 資料に文句をつけてみた． Set と wher…

make する．あと erlang.el をコピる． erlang-start.el は，初期設定でたぶんそのまま使えばいい． $ cd distel $ make $ locate erlang.el|xargs diff # 念の為 $ cp `locate erlang.el|head -1` elisp $ locate erlang-start.el|xargs diff # 念の為 $ cp…

d:id:mat_aki:20080421 うわー．これ知らなかった．早速使おう． デフォルトキィバインドは，org-mode と相性悪そう． ;; windmove (windmove-default-keybindings) (global-set-key (kbd "C-s-h") 'windmove-left) (global-set-key (kbd "C-s-j") 'windmove…

リンク先からダウンロードしてきて，haskell-site-file をロードすればいいみたい． ;; haskell (add-to-list 'load-path (expand-file-name ".emacs.d/haskell-mode" home)) (load-library "haskell-site-file") (add-hook 'haskell-mode-hook 'turn-on-has…

今んとこ MacPorts だと入らないみたい． パッケージでインストール alias ghc='command ghc -opta -m32 -optl -m32' 参考 d:id:javascripter:20090905:1252127667 https://trac.macports.org/ticket/20132#comment:19 追記 : 2009/11/14 18:48 alias では，…

Emacs Lisp で書いてみる． とりあえず，Hello World から． ; -*- mode: emacs-lisp; coding: utf-8-unix; -*- ; hello.el (princ "Hello, world!\n") $ emacs -script hello.el $ emacs -batch -l hello.el # for emacs 21 or beforeちょっと調べたら，lex…

http://groups.google.co.jp/group/sicp-lite http://atnd.org/events/1857 会場近くの喫茶店がわからない というか会場 1F の喫茶店が17時までとかヒドス 開始時刻で 9 人でも 18 人まで増えた． 遅刻大杉 #sicplate で遅刻報告とか 昼とんかつとか そろそ…

読者ハガキを出したら当たったよ． ハガキ少ないから，当選確立高いらしいという話は聞いていたのですよ． ということでみんなも出したらいいと思うよ!ついでに読者ハガキが読ま掲載されると図書券500円もらえますよ!参考 http://gihyo.jp/dev/serial/01/rea…

http://atnd.org/events/1801 脱線してもいいって楽 ソース読む 間違えて，2.8.0 の svn のソースを読んでいてわからんくなっていた もういっそ 2.8.0 をコンパイルしてみた $ ant だけでてきたみたい Emobile が繋りにくい 今回は繋がったので，twitter に…

http://groups.google.com/group/erlang-super-lite http://atnd.org/events/1845 今回は第零会ということで，本編をどうしようという話でした． Erlang を勉強してもプログラミング的に嬉しくなれない むしろ，不便？ やはり特定用途向け 仕事とか考えない…

参考 http://jp.opensolaris.org/ http://d.hatena.ne.jp/tokuhirom/20091005/1254716346 http://sy2920.s151.xrea.com/solaris/pkg-get.html http://kohju.justplayer.com/Tips_Solaris_OpenSolarisOS_IPS.html#rc3f212d LiveCD をダウンロードしてみた． …

Erlang Super Lite(仮) 準備会にて必要かと思って，Erlang をインストールする流れ．ご参考 http://atnd.org/events/1845 http://twitter.com/MiCHiLU/statuses/4960129996 以下はただのログっぽいこと．いつものように，port install erlang したのだけど，…

outputz を使おうと思って，typing-outputz.el を導入してみた， ついでに，outputz-growl.pl を使ってみたけど， 最初つまづいたのでちょっと書いておく． http://tech.kayac.com/archive/some-tips-for-agile-web-development.html この辺を見ると，導入で…

最近 twitter 関連で @hogehoge, とか #hogehoge とか書くことがある． これをリンクに変換したいので，書いてみた．まーこんな短かいのでも一応使えるよ．ということで． ;;; transrate twitter-id notation to hatena-notation ;;; and transrate hashtag(…

http://groups.google.co.jp/group/sicp-lite http://atnd.org/events/1654 人数が多過ぎる．33人とか hashtag: #sicplite twitter: @sicp_lite 人多杉なので，1章組3つ，2章組1つの4グループに分けました 2章組に入りました． 目標の場所を指定して， 10分…

http://regional.rubykaigi.org/nagoya01 http://www.ustream.tv/channel/nagoyarubykaigi01 前日に差し入れ持ってったら，委員長から直々に動画担当主任を任命された 何を言ってるかわからねーと思うが(以下略全体の感想 会場綺麗 http://www.winc-aichi.jp…

YAPC で見た Eslide ってのが気になってたので， 見てみた． http://github.com/jrockway/eslide 基本的には，emacs のframe を2つ以上起動して， 1つのframe を2つに分けてスライドの本体(eslide-edit-mode)と あと *Eslide Notes* バッファを見ながら． も…

常日頃から，ログインができなくなってしまうことは，よくあると思うが理由として ログインシェルのスタートアップスクリプトがマズい ログインシェル自体が壊れた とかの場合は，Terminal.app の メニューから， シェル > 新規コマンド で，「chsh」を選べ…

http://blog.woremacx.com/2007/10/emacs_coding-again.html http://blog.woremacx.com/2005/09/emacs_coding.html C-x RET r (M-x revert-buffer-with-coding-system) だな， いつも忘れる．