sbt-scalatraというsbt pluginを1.0対応させるためにやったことをまとめておきます。 sbt 1.0対応作業一覧 sbt 1.0対応のpluginをゼロから作るときの詳しい解説は、公式ドキュメントにきちんと書かれているので、まずはそれを読む。 sbt Reference Manual — Plugins ここでは既にsbt 0.13系のPluginをアップデートしてsbt 1.0対応したときのことを書く。ざっと以下のような作業を行った。 AutoPlugin化 project/pluginをアップデートする 複数のsbtのバージョンに対応させる plugin間の依存関係の定義 pluginを自動で有効にする settingsの対応 deprecatedなメソッドの書き換え AutoPlugin化 sbt 1.0以降はAutoPluginしかサポートされなくなるので、従来

とうとう最終日です。 Keynote: Open source is just about the source, isn’t it? Stuff open source projects need to care about that aren’t code: - People - Name & trademark enforcement - Copyright - License - Patents - PR— Jan Lehnardt (@janl) 2016年3月23日 最終日のキーノートはApache Mahoutのファウンダーである@mainecさんによるOSSについてのセッションです。 PullRequestのコードスタイルチェックなどは自動化してfeedbackを早くする プロジェクト内で「してほしいこと」と「してほしくないこと」を明記する コントリビュートしてくれた人には

元気よく2日目に行ってまいりました。 Tools for Verified Scala 2日目のキーノートはEPFL内の研究室で開発されたstainlessというコード解析ツールについてです。 verifyで事前条件を、ensuringで事後条件を記述すると、「すべての入力」に対してチェックを行い、制約を満たさない場合はその値をレポートしてくれるようです。 例えば平均値を求める処理ではこんな感じになります。 import stainless.annotation._ import stainless.lang._ object StainlessTest { def mean(x: Int, y: Int): Int = { require(x <= y && x >= 0 && y >= 0) (x + y) / 2 } ensuring(m => m >= x && m <= y) /

Scala Days 2017 Copenhagenの1日目に参加してきました。 初日はScalaの作者であるMartin Odersky先生による「What’s different in Dotty?」というキーノートです。 小田好先生！ pic.twitter.com/bNDuV7Md7J— 🕳️ (@todokr) 2017年5月31日 小田好先生にScala Contributor Tシャツが授与されるなどしていた— 🕳️ (@todokr) 2017年5月31日 「Scalaを書き始めて何年ですか？」小田好先生「15年です。」— 🕳️ (@todokr) 2017年5月31日 Dotty? DottyはScalaの新しいコンパイラであるdotc、REPLのdoti、ドキュメントツールのdotdなどからなるツール群です。 ちなみにREPLであるdotiは書いたそばからシンタッ

新しい記事を書きました. 本記事を包含します. amaya382.hatenablog.jp Dottyで何ができるようになるのかとその使い方を簡単にまとめたいと思います. 理論的な部分は深掘りしません. 以下ちょっと長め. 調べきれてない点も多々あるので, 抜けや間違いがあったら教えてください. そもそもDottyとは Dependent Object Types (DOT) に基づいた新しいScalaコンパイラです. たまにScala3とか呼ばれたりもしています. DOT計算理論の詳細は省きます (まとめるほど理解できていないとも言う…). 現行のコンパイラと比べ, コンパイラサイズの減少・コンパイル速度向上・様々な機能追加の他, コンパイラ自体の開発安定性も増すパワフルなアップグレードが期待できます. 現行のScalaとの互換性は切れていますが, 勿論重要な機能がなくなるといったこと

For the Glitch team who looks after Quality Control at Zalando, the year 2017 started with a new resolution: Make our compile times faster. Toward the end of 2016, the Glitch team experienced a steady increase in compilation time on their project. In just one month, the compile time doubled and it was hard to understand why. This was clearly hampering the team’s productivity, and a number of strat

Gain a reliable tech partner We'll take you from the product idea, through the market entry, to going full scale! Get to know us Change your business with technology Get more than working software With our cross-domain engineers and experts you're ready to embrace innovation. Gain a tech partner that proactively works to bring your requirements to life.

sbt-coursier.md あなたの sbt update を爆速にする sbt-coursier の紹介 この記事は Scala Advent Calendar 2016(Adventar) 10日目の記事です。 今は 12/10 の 625時です。年明けなんて無かった。いいね？ さてさて、sbt の依存jarのダウンロードが遅い、というのは割とよく言われる事であります。 で、この原因の一旦に、sbtが Apache Ivy を使っている、という点があります。 現状 Ivy は依存jarをダウンロードする際、全て直列でダウンロードします。依存グラフ的に関係のないライブラリがあっても、一つが終わらない限り別のjarをダウンロードしようとはしません。 ファイルIOもネットワーク通信も多重化できるこの時代にこれはいけません。 そこで Coursier の紹介です。 Coursier は S

Scala関西 Summit2016の翌日、京都のはてなさんオフィスに伺わせていただき弊社とはてなさんの合同Scala勉強会を開催しました。 今回はクローズドな勉強会ということで普段あまり外には出せないようなリアルな悩みなどもご相談させていただいたのですが、当日の内容を可能な範囲でまとめてみたいと思います。 Scalaの利用状況について はてなさんでScalaを採用しているのは3プロジェクト、社内でScalaを書けるエンジニアは10人ほど、フレームワークはPlay + SlickもしくはScalatra + Slickとのことですが、最近のプロジェクトではSlickはDSLを使わず生SQLを書いているそうです。WebフレームワークはFinchも検討されたそうなのですが、生産性に問題があるという判断で採用には至らなかったとのことでした。 弊社でScalaを使っているのは2プロジェクトですが、

追記：Twitterで、「それって、言語マニアにしかできない技のような気が」という指摘を受けました。自分としては一般的に適用可能な話だと思っていますが、あるいは自分の感性が著しくずれているのかもしれません。その辺承知の上でお読みください。 Scalaは習得が難しい言語だ、とよく言われます。また、実際問題として、Scalaの言語仕様の全体はそれなりに複雑でもあります。しかし、それはたとえばJavaでも言語仕様の全体像を把握するのは難しい話であり、Scalaに限った話ではありません。にも関わらず、Scalaの習得が難しいとよく言われるのはプログラミング言語の学習モデルが誤っているからではないかと最近思うようになりました。そこで、Scala（や他の言語も含めて）のコストを下げるために必要な心得についてちょっと書いてみます。 Scalaはオブジェクト指向言語である これは、Scalaは関数型プログ

$ whoami @vkostyukov on Twitter and on Github 2010-2014: Compiler Engineer at Intel (ART/DalvikVM contributor) Since 2013: Scalacaster Since 2014: Finch, finagle-oauth2, finagle-serial, ... Since 2014: Scala Developer at Twitter (Finagle team) Since 2015: Pretending to be @finagle on Twitter The key problem with #Finagle adoption that it solves tons of problems that you know nothing about until it

How it works? "Scala Exercises" brings the popular Scala Koans to the web. Offering hundreds of solveable exercises organized into 42 categories covering the basics of the Scala language. Learn Each category includes an explanation of the basics. Learn the concepts through simple code samples. Solve Each exercise is a unit test that must pass successfully, complete the exercise by filling in the b

2016/01/30 ScalaMatsuri 2016 by @okapies http://scalamatsuri.org/Read less

ScalaMatsuri2016でお話しさせて頂いた、あなたのScalaを爆速にする７つの方法の英語版です。 ７つの角度でベンチマークを取っています。Read less

PFI社内セミナーで強力な型システムがもたらす様々な恩恵について発表した際の資料です。 補足的な記事はこちらをどうぞ： http://blog.konn-san.com/article/20120412/how-wonderful-to-be-typed また、発表の模様は以下の ustream からご覧になれます。 http://www.ustream.tv/recorded/21781769