Haxe 2 から 3 へ

Haxe のバージョンを 2.10 から 3.0.0 に更新した。 Haxe 2 の時のコードが結構動かなくなったので、変更点をメモ。 interface 継承の変更 implements -> extends haxe 2 interface Hoge {} interface Piyo implements Hoge {} haxe 3 interface Hoge {} int…

prototype でつけた関数をファーストクラスで使うと this がしぬ

はまりかけた。 コンストラクタで設定すればおk。 function Hoge() { var me = this; me.print1 = function() { console.log(me); }; } Hoge.prototype.print2 = function() { console.log(this); } var hoge = new Hoge(); hoge.print1(); // Hoge {print1…

型パラメータとミックスイン

Mix.hx interface A {} interface B {} class C implements A, implements B { public function new() {} } class Mix { public static function hoge(x: A) {} public static function piyo(x: B) {} } Hoge.hx using Mix; class Hoge { public static func…

構造体と型

typedef X = { id: Int, name: String } class Hoge { public static function hoge(x: X) {} public static function main() { hoge({ id: 0 }); } }これはエラー。 $ haxe hoge.hxml Hoge.hx:5: characters 7-16 : { id : Int } has no field name Hoge.hx…

関数の型

var f: Int -> Int -> Int = function(a, b) { return a + b; }; var g: Int -> (Int -> Int) = function(a) { return function(b) { return a + b; }; }; var h: (Int -> Int) -> Int = function(f) { return 0; };えー。

type 演算子?

プログラム中のどこでも,ある表現の型を知るためには,type 演算子を使うことができます。コンパイル時に,type 演算子は除去され,表現だけが残ります : var x : Int = type(0);この例ではコンパイル時に Int と表示され,type が使われなかった場合と同じ…

Haxe

仕事で Haxe を使うようになったので、はまったとこなどのメモを少し残しておく。 使っているバージョンは 2.10 で、JS 吐き出し用。

今のバージョンでYesodアプリを動かすまで

なんかうまく動かなくなってたので、メモ。 まずは、Haskell Platform を確認。 気がついたら64bitが入っていた。 多分 2012.4.0.0 にするときに誤って入れたらしい。 一旦今の Haskell 環境を消して、 $ sudo /Library/Haskell/bin/uninstall-hs --remove t…

同じようなフィールドを持ったレコードへの変換

RecordWildCards を使って、同じようなフィールドを持つレコードを簡単に変換できる。 RecordA.hs module RecordA where data A = A { a :: Int, b :: String, c :: Int } deriving Show RecordB.hs module RecordB where data B = B { a :: Int, b :: Strin…

Haskellの言語拡張たち 2

前のやつ の続き。 今回調べた拡張 レコード系 RecordWildCards 型系 ExistentialQuantification RecordWildCards レコードワイルドカードが使える。 レコードパターン中で .. とすれば、レコード内のフィールドを一気に束縛したり、現在のスコープの変数か…

一部の値を変更したレコード

Database.Persist.MySQLの設定を調べていて、こんな記述を発見。 defaultConnectInfo :: ConnectInfo Default information for setting up a connection. (中略) Use as in the following example: connect defaultConnectInfo { connectHost = "db.example.…

Haskellの言語拡張たち

前回、なんか拡張を沢山使っていたが、おまじないのままなのもそろそろまずい感じなので、とりあえず調べてみた。 今回調べた拡張 型系 GADTs ScopedTypeVariables EmptyDataDecls TypeFamilies 型クラス系 MultiParamTypeClasses TypeSynonymInstances Flex…

Haskell で DB操作

最近 Yesod を弄っているが、Yesod で使ってるやつ (Database.Persistent) を使って、普通に DB 操作したいな、と。 sqlite と mongodb をやってみる。github にあげた分 → https://github.com/rf0444/haskell-dbとりあえず自分の環境 (Mac) で runhaskell …

Git 導入

家のデスクトップに入れてた Git を新しくしようと思って、ついでに入れ方を残しておこうと思って、書いてみる。 OS は Windows 7。多分 XP でも大丈夫。 cygwin とかは入ってない想定。7z は入ってる想定。 入ってた Git を削除 前入れたときはインストーラ…

The End of Start Haskell

1/28 に、第6回 スタートHaskell に行ってきました!また1週間かかってしまった・・・遅延評価だから仕方がない (キリッ 12章 遅延評価 解説 @imsuten http://www.intransient.info/materials/Programming_in_Haskell_12/Programming_in_Haskell_12.html5.html#…

Purely Functional Data Structures読書会 第4回

1/21 に、Purely Functional Data Structures読書会 第4回 に行ってきました。 まとめ的な: http://wiki.haskell.jp/Workshop/ReadPFDS/4 3.4 (c) (d) @khibino 前回末尾再帰になっていなかったから、CPS変換して末尾再帰にしたらしい。 なんかいきなり継続…

Purely Functional Data Structures読書会 第3回

12/17 に、Purely Functional Data Structures読書会 第3回 に行ってきました。 開始前 Mac (Lion) のデスクトップ増やす: Mission Control から カーソルを右上の方にやると「+」が出てくる。 押すと増える。 Lion から操作が変わった部分は、わりと前から…

第5回 スタートHaskell

12/5 に、第5回 スタートHaskell に行ってきました! 会社の先輩 (@seizans) に誘われて、久しぶりの勉強会 & 初スタートHaskell! 前日 本の中身をざっくりみた後、演習をやっておこうとした。 環境をみてみると、Haskell Platform 入れてなくて、 Mac Por…

9月

9月になったので本気出す。 まだ仕事本配属になってないけど、来週なる予定。 来週から本格的に仕事が始まるお。

MacBook Air 13インチ買った!

PC

買いました。初 Mac。 まだ開けてないけど、明日いろいろ弄ったりしよう。

気がついたら・・・

7月も終わりかけ・・・ 6月何も書いてない・・・ あ、そういえば誕生日過ぎましたw (今月頭)

わんくま東京勉強会 #59

5/28 に、わんくま東京勉強会 #59に参加してきました。 中身はもうちょっとしたらきっと書きます。(`・ω・´)

4月は・・・

いっぱいはたらいてました。 研修だけど。

リリカル合宿

3/5〜6 に、リリカル合宿に参加してきました! 朝 7時に電車乗って、開場よりちょっと前に到着。喫茶店でティラミス食べた。 F#について (bleis) → コンピューテーション式 (bleis → mzp) → モナドについて (mzp) → Coq について + option がモナドであるこ…

3月

もう3月か・・・ ここんとこ研究ばっかであまり書けなかったな・・・ というか、12月末に研究テーマ決まる(しかも変わった)とかあり得ないだろjk・・・ まぁ何とかなったけど。 論文も提出できたし、結果待ちだが多分大丈夫。 もうすぐ東京住まいか。新生活…

第14回名古屋Scala

1/21 に、第14回名古屋Scala勉強会に参加してきました。 今回はコメントがなかったので、本の中身を追っていく感じに。 29章 Scala と Java の結合 akka Scala からも Java からも使える、Scala のアクタを書き換えた的なやつ アノテーション 2.8 から、Scal…

MacBook Air 11インチ欲しい!

MacBook Air 11インチ欲しい!調べてたら欲しくなった。MacBook Air 11インチ欲しい!

NGK忘年会2010

12/ 4 に、NGK忘年会2010 に参加してきました。 UST http://www.ustream.tv/recorded/11239442 ラーメン食ったり、Mac見てたりして少し遅れた・・・ メモ取れたところから。 イベント・コミュニティの話 勉強したいことがあったら勉強会をひらいてみる 続け…

Coq Party

11/27 に、Coq Partyに参加してきました。 資料などはこちら。 エンジニア・ミーツ・Coq すぐ分かる形式手法 形式手法とは? 品質の高いソフトウェアを作るための科学的な仕様記述・検証手法 仕様化の正しさは終盤のシステムテストまで分からない 結合テスト…

けんろん!〜休日カフェタイム〜 第2話演習!

11/21 に、けんろん!〜休日カフェタイム〜 第2話演習! に参加してきました。 USTREAM 第1話 http://www.ustream.tv/recorded/10255923 (前半) http://www.ustream.tv/recorded/10256470 (後半) 第2話 http://www.ustream.tv/recorded/10995206 (前半) http…