2012-05-27
Shinnya
2012-05-27
Lisp の読みづらさに辟易した(もちろん括弧が多いとかそういう話ではない)ので OCaml でも触るか〜。Lisp は一人で書いてる分にはいいが、他人の書いたコードが読めたものではなくてかなりキツい。
keasj
8.2 と 8.3 の互換性
KeisukeNakano
2012-05-25
久しぶりに Coq を触ったら， 昔書いた Coq のソースプログラムが通らなくなっていました． いろいろ原因を探ってみたところ， Coq 8.2 と Coq 8.3 で， 証明の開始時点での goal の形式が変わったためのようです． たとえば，Theorem eq_diff_0 (n m: nat) : n = m -> n - m = 0. |||ocaml| ============...
すごい Haskell たのしく学ぼう！は本当にすごいのか？
bleis-tift
2012-05-24
今話題の、すごい Haskell たのしく学ぼう！を読んだのですが、ちょっと思ったことがあるので書評と合わせて書いておきます。 思ったこと 関数型言語がこれほど話題になるのはとても嬉しいことです。 しかし、一方で懸念点もあります。 ノリで「すごい」とだけ言う人たちがいるその人たちに乗せられて (自分には合わないのに) 買ってしまって、挫折してしまう人が出てきそう この本は、いい本です。 翻訳の質...
F#3.0で加速する言語指向プログラミング(LOP)。コンピューテーション式はもはやモナドだけのための構文ではない！！！
zecl
2012-05-24
マーチン・ファウラー先生の黒いDSL本(翻訳版)が5月2日に発売されました。遅ればせながら私も最近購入して熟読しているところです。 この本が示すDSLの種類や内容は、あくまでもオブジェクト指向というコンテキストにおいてのものであり、関数型言語によるDSL開発については一切言及はありませんが、まえがきの「本書に欠けていること」の中で「"関数型言語でのDSL"に関する言及はない...
第1回 関数型言語勉強会 大阪に行って話してきた感想とか #fpstudy
irof
2012-05-22
...これも特色があって、一体どれをやったらいいの？と言うのはよく話題に挙げられ、私も何故か良く聞かれます。私は関数型言語なんて、Scalaを数ヶ月前にちょこちょこやったものの暫くやらずにいたら忘れて、最近OCamlの本読み始めたものの止めて、なんとなくHaskellに手を出したとかそんあ微妙な輩です。とは言え言える事はあります。 どれでも良いです。決められないならサイコロでも振って、とにかくやり...
エラー行を視覚的に教えてくれるプラグインsyntasticを導入してみた
guyon
2012-05-22
http://gyazo.com/6daa987520906ac7556413539dcdb911.png https://github.com/scrooloose/syntastic これを設定するとQuickFixで指定されたエラー行を視覚的に表示してくれます。 実際にコードを書いている時はエラーが表示されるようなケースは少ないないですが、lintチェックもできるみたいなので、そっち方面で...
第1回 関数型言語勉強会に参加した+InverseFizzBuzz
krrrr
2012-05-22
...ンターンとかで遊びに行きたいです(京都でScala的な意味で) @ikegami__ さん 速習・関数型言語いろんな本の紹介とみせかけて言語の紹介にもなって面白かった五十嵐先生の本があって嬉しかった(OCaml全然分からんが) @quassia88 さん Inverse FizzBuzz を解いてみようtwitterで見て解いてなかったなーと思い，聞き流しながら解いたすみません，あんま聞いて...
Relaxed value restriction (1. let polymorphism と value restriction)
naokirin
2012-05-21
皆さん、いかがお過ごしでしょうか。楽しいOCamlライフ送ってますか？ 私は紆余曲折あって「なぜだ・・・なぜ自分が使っている型システムすら知らないんだ！？」ということで、OCamlの型システムを勉強しようと思ってます。そのあたりで論理学の知識がどうしても必要そうなのでやります。とはいえ、そんなに踏み込んで勉強しているわけじゃないのであしからず。 そんな中でも気になっていたのが、Relaxed va...
CFML でSKコンビネータ（その1）
airobo
2012-05-20
id:keigoiさんが面白いことをやっていたので，定義をお借りして勝手に証明の続きを書いてみた．元記事はこちら→OCamlコードをCoqで検証できる "CFML" で 証明コンペに挑戦 (未完)． CFML を使った感想 CFML とはなんぞや，というのは元記事を参照して頂くとして，ここではCFMLを使った感想を簡単に述べてみる． 入力は OCaml のソースコード 元記事で...
所持金16000ドルでのアイテム購入の問題
arigata3
2012-05-19
久々にネタが思いついたので記事を書きます。と言ってもまたパクリですが。(-_-;) 背景F#マスターへの道 月謝3500円のそろばんの問題 http://www4.atwiki.jp/fsharpmaster/pages/32.html > MP5: $1500 UMP: $1700 P90: $2350 Galil: $2000 FAMAS: $2250 ... (全32アイテム) |oc...
Tcl ってどうなんだろ
chocoiceman
2012-05-17
...うものは一度それなりに広がればなかなか死滅しないものなのだ。この古くて原始的な言語を使えるようになってみようと思っている。Awk や Tcl はスズキの軽自動車のようなもの。一方、Clojure や OCaml、Haskell はわたしにとって F1 のようなものになろう。それは、つまり、フラグシップ自家用車なのだ（笑）。わたしは自動車の運転はしないが、で、結局、もし乗るなら、性格上、スズキ...
F#で逆FizzBuzz問題
zecl
2012-05-16
元ネタ 逆FizzBuzz問題 (Inverse FizzBuzz) - 猫とC#について書くmatarilloの雑記 http://d.hatena.ne.jp/matarillo/20120515/p1 twitter:202601945842728960:detail twitter:202667961075499008:detail > twitter:20266850856638...
ソースコードのはてな記法
pospome
2012-05-16
よく忘れるので、メモ。 a2ps a65 aap abap abaqus abc abel acedb ada aflex ahdl alsaconf amiga aml ampl ant antlr apache apachestyle arch art asm asm68k asmh8300 asn aspperl aspvbs asterisk asteriskvm atlas automa...
ソートされた(?) 順列シーケンス
regerege
2012-05-16
ソースコードはこちら ■実行方法let run() = "abcd".ToCharArray() |> Array.toList |> permutation |> Seq.iter (printfn "%A") |||ocaml|
F#で簡素なモゲマスコンプガチャシミュレータ
zecl
2012-05-15
椎名林檎「自由へ道連れ」をヘビロテしすぎて脳内無限ループしている今日この頃ですが、皆様いかがお過ごしでしょうか。 時事ネタとしては旬を逃した感じですが、簡素なコンプガチャシミュレータをF#で書いてみました。 とは言っても、この記事で伝えたいことはコンプガチャの確率がどうのですとか、実社会におけるコンプガチャの問題点がどうのとかいうような話題を扱うものではなく、安直にモナド則を満たさないコンピュー...
第4回プログラミングの基礎読書会まとめ
a-hisame
2012-05-14
5.3〜6章終了まで。 5.3 これは先にテストを直すべきじゃないのかな？ 5.4 手続き型言語を知っているが、関数型言語を学ぶ価値として式と文を明確に意識するようになる点が挙げられる。 なので、 if (hogehoge) { hoge = true; } else { hoge = false; } |||ocaml| min_int = -min_int;; ||> 32bit符号付整...
コンパイラ実装会行く
h_sakurai
2012-05-14
新宿でやってたので、行ってみました。 13:00からだったのですが、例によって悪い癖が出てしまって、遅刻してしまいました。 でも、とにかく、静かに作業が出来たのでよかった。 作業内容 住井さんのOCamlで型推論する記事をScalaに移植して理解する。 ってことで、難しい問題は小さく分割するのがよいらしいので、 1つのソースを作るのを何段階にも分けて、とりあえず、思った事を書いてってみてました。...
OCamlに手を出した話
akuraru
2012-05-09
...oderetret in Nagoya に行ってきたでが紹介されていたので速攻でポチって、今日届いたの3時間くらいで24章中の14章を読んだのでそこまでの感想。 基礎という名前と裏腹に使っている言語はOCaml。強い静的型付けと、関数型であることが特徴の言語だ。 強い静的型付けっていうのを簡単に説明すると、1+1.0ができない。つまり、int+float は他の多くの言語では、 int+fl...
wxBasic、B級だけど楽しいやつ
chocoiceman
2012-05-09
...の B は Basic 言語の B だ。違うかっ。 わたしは Ruby、Haskell の美しさを認め、あこがれながらも実際に使う言語といったら Perl、C、Go、Gauche、PureBasic、OCaml なんてところなのだ。特徴は小さくて実践的な言語だね。うっ、また、初っぱなから話が脱線しそうになった。 そう、B 級言語はおもしろい。わたしは B 級言語を山ほど知っている。そんななか...