制約をロジックではなく型で表現する
class: center, middle # 制約をロジックではなく<br/>型で表現する 渋谷Java 第十五回 2016/04/23 --- class: left, middle ## 自己紹介 * 中村 学(Nakamura Manabu) * [@gakuzzzz](https://twitter.com/gakuzzzz) * 株式会社 Tech to Value * Japan Scala Association --- class: center, middle # みなさん<br />テスト書いてますか？ --- class: center, middle ## 僕はテスト書くのが<br/>あまり好きではありません。 --- class: middle # 型 ＞ テスト 偉い人は言いました。 テストで示せるのはバグの存在であって、<br />バグの不在は証明できない。
プログラミング言語別給与ランキング【2015年版】〜1位はScalaの401万5,909円〜 | HRog | 人材業界の一歩先を照らすメディア
昨年、好評頂いたランキングに引き続き、今年も「プログラミング言語別 求人給与額ランキング」を作成してみました。 企業のIT投資が引き続き活発な中、エンジニアの求人ニーズは高止まりが続いています。プログラマーにとっては就職・転職がより有利に、また企業にとってはエンジニアの採用がより困難な状況が続いていますが、 今回のランキングにおいても、それら状況が伺える結果となりました。 すべてのプログラミング言語の平均求人年俸は3,628,019円で、昨年と比較して全体的に給与額の上昇がみられました。 また、プログラマーの掲載件数は16,820件、昨年比123.9％と、全体として大幅な増加がみられますが、プログラミング言語別に状況をみて行くと、技術トレンドやニーズの移り変わりが現れており、非常に興味深いところです。 今回の調査も昨年に引き続き、IT職種の求人に強い正社員系媒体の中から下記の8媒体を対象に
Scala事始め(2) ”Windowsで”ScalaをIDEで書き始めるまで。 - がらくた部屋
前回、Scalaの環境構築について書きましたが、知識不足＋その後Windows上でScalaの環境を構築するのに色々とハマりどころがある事が分かったので再度１からまとめますorz 基本的にはこちらのscala develop environmentのWin向け+現時点の最新Ver.への追記です。 JDK みんな知っていると思うので省略 Typesafe Stack ここでWindowsではとんでもなくハマりました。（遠い目） TypesafeからTypesafe Stackをインストールします。 この時、WindowsではUniversalのZIPファイルを使います。この記事を書いている時の最新版はVer2.0.2なので直Linkはこちら ダウンロードしたtypesafe-stack-2.0.2.zipを展開して、任意の場所に置きます。 ファイルを置いたら\typesafe-stack\b
Play framework で Java Web アプリケーション開発をもっと簡単に
Play framework で Java Web アプリケーション開発をもっと簡単に ついに Web デベロッパによって Java フレームワークが開発されました。 ぶくぶくに膨れ上がったエンタープライズ Java をクリーンに置き換える魅力に気付いてください。 Play は開発者の生産性に注目し、RESTful アーキテクチャを目指します。 ★ リリース 1.0.2 ダウンロード そして はじめてみよう ! 概要 バグを直したらリロードするだけ Java ファイルを修正して、保存して、ブラウザをリロードすれば、すぐに結果を見ることができます！ コンパイルもデプロイもサーバの再起動も必要ありません。 ステートレスモデル Play は "Share nothing" なシステムです。 同じアプリケーションの多数のインスタンスを複数台のサーバ上で動作させることで容易にスケールし、REST に
EIPフレームワーク「Apache Camel 2.10」公開
The Apache Software Foundationは3日(米国時間)、Apache Camelの最新版「Apache Camel 2.10」を公開した。Apache Camelは、オープンソースで開発されている統合フレームワーク。 Gregor Hohpe氏およびBobby Woolf氏が提唱しているEnterprise Integration Patterns(EIP)をベースにしている。 EIPとは、エンタープライズで使われる大規模システムを統合する際に出る問題を回避することを目的に考案されたデザインパターン。Apache Camelと同様、EIPフレームワークとしてSpring Integrationがある。 Apache Camelは、Javaで開発されているEIPフレームワーク。JavaベースのFluent APIやSpring、XML文書、Scala DSLなどを含む
Twitterエンジニアって、どんなお仕事？ 本人たちに聞いてきた | RBB TODAY
Twitter Japanは3日、「エンジニアオープンハウス」を開催した。この日はインフラストラクチャー担当のエンジニアディレクターであるRob Benson氏が「Twitterを支えるアーキテクチャ」としてプレゼンテーションをおこなったほか、同社のエンジニアである山本裕介氏が「Twitterとオープンソース」、蓑輪太郎氏が「Twitterエンジニアの1日」としてスピーチした。 ◆Twitterの分散型システム Rob Benson氏は、VMwareなどでエンジニアとして働いていた経験を持ち、現在はTwitterでインフラストラクチャーグループのエンジニアディレクターを務めている。プレゼンではTwitterで分散型システムをいかに構築しているかを説明した。 「スポーツのイベントや東日本大震災に代表されるような突発的な事象が起きた場合、急激なTPS（Transaction Per Secon
( Javaには存在しなくて ) ScalaとC#には存在する言語機能 - xuwei-k's blog
いわゆる静的型付けでオブジェクト指向な言語という点からみれば、ScalaもC#もJavaも似ている点があるわけですが、その中でJavaにはなくてしかしC# と Scala である程度共通するものを書きだしてみた。別に「この結果 = Javaがダメ」とかすぐに結論づけたいわけじゃなく、自分の頭の中整理してみたかっただけです。この3つを選んだのも自分がある程度使った経験があるというだけに過ぎません。ちなみにここで言ってるJavaはJava6で、C# は4.0で、Scalaは2.8以降です。あと「似ている機能」があるだけで細かいところ色々違いますが、そこは自分の基準でなんとなく「似ている」と感じたものと書いているだけなのであしからず(´・ω・｀) 型推論( C# はローカル変数のみだけど ) http://ufcpp.net/study/csharp/sp3_var.html いわゆるラムダ式っ
Java総称型のワイルドカードを上手に使いこなすための勘所 - 達人プログラマーを目指して
Java5以降では総称型（generics）がJava言語に導入されています。総称型自体は、最近の静的な型付けのプログラミング言語で珍しいことではなく、現在の最新版では.NETのC#やVisual Basicにも導入されています。一般的には総称型をサポートするクラスライブラリを自分で正しく定義することは非常にスキルがいるが、事前に定義されたクラスを使うだけであれば、それほど難しくないとされています。しかし、Java言語の総称型は本エントリで説明するように特殊なところがあり、単に利用するだけでも他の言語に比べて遥かに難しいところがあるというのも事実です。特に総称型をパラメータ化する際に指定するワイルドカード型（List<? extends Serializable>など)の意味を正しく理解して使いこなすことは簡単なことではありません。その結果、昔のJDK1.4までのように型パラメーターのない
ScalaのクラスをJavaの視点で解剖する - かとじゅんの技術日誌
Scalaのクラスをちょっと解剖して、なぜそうなっているか読み取ってみようと思います。 ScalaのクラスをJavaのクラスに変換してみる まず、こんなScalaのクラスを作ってみた。コンストラクタに氏と名のフィールドを二つ取る単純な人名クラスです。 class PersonName以降のカッコのところは、コンストラクタの引数を表しています。また、その引数そのものがフィールド定義となります。 package test class PersonName(val firstName:String, val lastName:String) これをscalacでクラスファイルにした後、jadでデコンパイルしてJavaのソースファイルにしてみました。以下のJavaコードで読みとくと簡単に理解できると思います。*1 package test; import scala.ScalaObject; pu
「LL言語が後退局面に差し掛かっている件」対してに的外れな事を言ってる連中が多すぎてヤバい - terurouメモ
LL言語が後退局面に差し掛かっている件に対しての反応が的を外しすぎていて笑える。確かにIDEや生産性のくだりはゴミクズなんだけど、それにしてもみんなゴミの部分に反応しすぎである。 ということで、酒も飲んでるので勢いで色々書いておく。 「LL言語が後退局面に差し掛かっている件」でも触れられている重要な技術動向 ゴミクズを取り除くと、まっとうな事が書いてある。 LLの成長に陰りが見え始めてきた。 ただしwebアプリケーション分野では今後も相当長く現役を続けるだろう。 今現在、もっとも富を生み出すのは（ほぼリアルタイムな）超大規模データ解析。 Hadoopが何かを理解してない技術者はクソ。 テラが当たり前のように乱れ飛ぶ現場でLLが出来る事など無いに等しい。 JavaScriptだけ別格の扱いをせねばならない。 node.js（サーバサイドJavaScript）がWeb開発のメインストリームにな
Javaでnullを回避するために似非Option型を作ってみる - かとじゅんの技術日誌
ScalaにはOption型というプログラムの世界観を変えるような魅力的な型があり、それでnullを回避することができる。*1 詳しくはこちらを参照。 ScalaのOptionステキさについてアツく語ってみる - ゆろよろ日記 Javaでも、ScalaのOption型と似て非なるOption型を作れないかなーと思い、思いつきと勢いでコード書いてみました。まぁ、同じものは作れっこないので、遊びです。本気にしないでくださいｗ 以下のような感じ、Optionのインターフェイスを作って、実装クラスにSomeとNoneを定義。それぞれにofというファクトリメソッドがあります。 public interface Option<T> { // オプションから値を取得する。 public T get(); // オプションから値を取得するが、値がない場合はdefaultValueを返す。 public T
ScalaのOptionステキさについてアツく語ってみる - ( ꒪⌓꒪) ゆるよろ日記
今日は、ScalaのOptionの使い方について解説しますよ。OptionはScala使いにとってはなくてはならないものです。これを覚えてしまうと他の言語でもOptionを作りたくなる、かもしれない? Optionってなに? Option型は、値があるかないか分からない状態を表すものです。「Maybeモナド」とか言ってしまうとアレですがまぁそんなようなものらしいです。 Optionの定義 まずは、Optionの定義から見てみましょう。Option型は、抽象クラスOption[+A]と、Option[A]を継承して値がある場合のSome[+A]型とNoneオブジェクトがあります。 Option - Scala Standard Library API (Scaladoc) 2.10.0-20120530-022829-8d38079ab4 - scala.Option // Optionの抽
RubyからScalaに乗り換えた15くらいの理由 - ヽ( ・∀・)ノくまくまー(2010-04-26)
● [Scala] RubyからScalaに乗り換えた15くらいの理由 [注意] この文章を読むと、既存のRubyコードをScalaでrewriteしたくなる、 Rubyコードで型チェックをやるのが鬱になる、Ruby案件でやる気が出なくなる、 などの幻覚や異常行動が報告されています。 現在関わっているプロジェクトや家族のことを常に意識し、 気を強く持って冷静に読むとよいでしょう。 「Scalaプログラミング入門」を読みはじめて、いきなり大きく頷いてしまった。 "コーディング時間の半分をテスト作成に費やさなければならなかった"(p.3) "Railsによって得られた生産性の向上は、テスト作成の作業に失われてしまいました"(p.3) まさにここ数年私が抱いてた漠然としたストレスの正体が、的確に文章となっていたからだ。そしてほどなく、「あ、この機能がRubyに欲しかった！」という驚きと共に Sc
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
実行時におけるJVMバイトコード最適化手法
The Leading IDE for Professional Java and Kotlin Development
MikuMikuStudioでアプリを作ろう その６
gooサービス終了のお知らせ | dメニュー
not found
http://scalaza.com/?%C2%E81%B2%F3+Scala%BA%C2