タグ

2015年7月2日のブックマーク (3件)

  • IntelliJ IDEA 15 EAP + Kotlin = 愛 | Post Blog

    IntelliJ IDEA 15 EAPの新しいビルドをリリースしました。毎回新しい機能追加や、バグ修正を行っていきますので、是非フィードバックを掲示板やYouTrackへお寄せください。 新しいビルドではKotlinプラグインをバンドルしています: Kotlin blogに書いている通り、Kotlinのチームは年内に正式リリースをすべく開発を進めております。Kotlinをまだお試しでなければ、この新しいビルドをダウンロードして是非お試しください。基的な文法はこちら(英語)で確認していただけます。他にも日語のブログ記事やアドベントカレンダー、雑誌の連載を書いていらっしゃる方も多くいらっしゃいますのであわせてご参照ください。 他に注目すべき改善点は、Find / Replaceにおける正規表現のcase transformation文法のサポートです: “\l”、 “\L”、 “\u”、

    IntelliJ IDEA 15 EAP + Kotlin = 愛 | Post Blog
    ryshinoz
    ryshinoz 2015/07/02
  • Scalaで型レベル”だけ”でクイックソート | POSTD

    Scalaの型システムが先進的であることは、皆さんもご存じのことかと思います。この投稿では、Scalaの型システムのみを使った クイックソート アルゴリズムの実装方法をご紹介したいと思います。なお、ここで紹介するデモの完全なコードは こちら をご覧ください。 自然数 まずは準備から。ソートアルゴリズムを実装するには、ソートする対象が必要ですよね。ここでは自然数を用います。もちろん、Scalaの型システムには利用可能な自然数はありません。そんなわけで、全ての自然数の型を作る必要があります。 型を無限に作るというのは、恐らく時間の浪費になるでしょうから、ここはもう少し賢い手を考えます。そう、数学を使いましょう。 ペアノの公理 ペアノの公理とは、自然数を形式的に定義するためのシンプルな方法のことです。 0 は特別なものとする。 0 は自然数である。 全ての自然数 n には、それに続くもう1つ別の

    Scalaで型レベル”だけ”でクイックソート | POSTD
    ryshinoz
    ryshinoz 2015/07/02
  • https://developers.google.com/web/tools/setup/workspace/setup-devtools

    Build with Chrome Learn how Chrome works, participate in origin trials, and build with Chrome everywhere.

    ryshinoz
    ryshinoz 2015/07/02