Programming Language and Theorem Prover
Programming Language and Theorem Prover — Lean
Programming Language and Theorem Prover
ScalaとHaskellと型パラメータ - Everything is Practice
2015-03-27 ScalaとHaskellと型パラメータ 関数型言語のメリットの1つとして，型推論はやはり欠かせないのではないでしょうか？ 例えば，引数に対して何か定義した処理を書くとき 「推論してくれたらなあ」 という場面もあります。 例えば引数からここの型はわかるだろ！ って感じですね。 こんな記事を見つけました。 Scala の implicit parameter は型クラスの一種とはどういうことなのか - 猫型の蓄音機は 1 分間に 45 回にゃあと鳴くnekogata.hatenablog.com implicitはScalaをやってる以上よく触ってきましたが，がっつり作り込んだ事はありません。 ここのサンプルを用いて少しコードを。 まず，ここでやりたい事をHaskellで書いてみましょう。 純粋関数型で書くとこうなります。 class FlipFlap a whe
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
