はてなブックマーク in Scala

テクノロジーカテゴリーの変更を依頼記事元:

www.slideshare.net/slideshow

278 usersがブックマークコメント

はてなブックマーク in Scala

2. 自己紹介名前いな伊奈りんたろう林太郎 (id:tarao @oarat) 2008-08 はてなインターン 2008-10... 2. 自己紹介名前いな伊奈りんたろう林太郎 (id:tarao @oarat) 2008-08 はてなインターン 2008-10 はてなアルバイト (ブックマークチーム) 2010-04 日本学術振興会特別研究員 (DC1) 2013-04 はてな正社員 2013-12 ブックマークチーム ◮ アルゴリズム屋さん ◮ 検索技術 > 機械学習 ≫ アドテク ◮ 最近は設計したり基盤寄りな部分を担当したり 3. 自己紹介名前いな伊奈りんたろう林太郎 (id:tarao @oarat) Scala 歴: 4ヶ月 ◮ slick-jdbc-extension ◮ 型レベルのラムダ計算 ◮ Software Design 2015 年 8 月号大学時代は ◮ 研究室: 型理論, プログラム意味論, 証明支援系 ◮ OCaml が公用語 ◮ gradual typing

matarillo やっぱJVM良くね？→でもJavaとかww→Scalaでやるか、の集団と、やっぱ関数型良くね？→でもHaskell無理ー→Scalaでやるか、の集団があるようだ。はてながどうかは知らない。（前者についてはそう思はないとのことですが）

2015/08/03 リンク

kirakking 準同型写像を使って実装面でレイヤ分割をする工夫とかすごく面白そうで羨ましい。というか準同型写像を使えば処理フロー(関数合成・適用)の同値性を証明できるのか。勉強になった。

2015/11/25 リンク

Dai_Kamijo はてブのコア部分が Scala で書き直される。その背景とあらたな設計方針について。 / “はてなブックマーク in Scala” — Takuto Wada (@t_wada) August 3, 2015 from Twitter https://twitter.com/Dai_Kamijo August 03, 2015 at 06:13PM via IFTTT