タグ

2015年10月27日のブックマーク (3件)

  • お探しのページは見つかりませんでした | 福島民報

    キーワード検索 何か心当たりのあるキーワードがあれば、以下のサイト内検索をご利用ください。 見つからなかった記事が見つかる場合があります。

    お探しのページは見つかりませんでした | 福島民報
  • 今 gradle.org に何が起きているのか? - mike-neckのブログ

    gradle,org に何か異変っぽいものが起きているらしいです。 Gradleさんどうなってしまったの https://t.co/L1ssx97cY4— Yasuharu Nakano (@nobeans) 2015, 10月 26 僕も昨晩確認してみたところ、こんなページになっていました。 @saba1024 なんか、直ってた pic.twitter.com/aA7ebZzNlG— Shinya Mochida (@mike_neck) 2015, 10月 26 何だろうと憶測で思いを巡らすのも面倒なので、聞いてみました。 discuss.gradle.org で、マーク・ビエイラさんが「Gradlephant」(gradle象)と「Build Happiness」について知りたかったら、読んでねと紹介されたのがこちらのページ。 gradle.org 簡単に訳してみましょう。 grad

    今 gradle.org に何が起きているのか? - mike-neckのブログ
    waman
    waman 2015/10/27
    象になったのか。 まさか蟻に負けたりしないだろうけど。
  • Frege: JVMのためのHaskellのような言語

    ドイツ数学者、Gottlob Frege氏から名付けられたFregeは、JVMのための純粋関数型の強力な型付き言語だ。FregeはHaskellと似ていて、「もっともHaskellらしいコードを修正せずに、または、見て分かる最小限の調整だけで動かせる。」 Fregeの開発者たちによると、Fregeは「パワー、単純さ、表現力の豊かさの組み合わせにおいて、類を見ないもの」である型システムをJVMに持ち込んだ。これにより、非正格 評価と型推論をサポートし、純粋性とデフォルトの不変性を可能にする。そのため、副作用は宣言された時のみ使うことができる。Fregeは、以下のようなHaskellの機能をほぼサポートしている。 ADTとパラメトリックポリモフィズムを用いた型クラス より高いランクの型 パターンマッチング リストの包含 do表記 ポイントフリースタイル モジュール functor、monoi

    Frege: JVMのためのHaskellのような言語