圏論初心者が自然変換について学んでみた！ - MicroAd Developers Blog
こんにちは。マイクロアドでソフトウェアエンジニアをしている飛田と申します。私は主に UNIVERSE Ads というプロダクトの開発に携わっています。 UNIVERSE Ads では、より関数型ライクな設計や実装を取り入れることにより、高い保守性と効率性を目指しています。 マイクロアドでは、プロダクトの一部にdoobieというDB操作ライブラリを使っていまして、 詳細は割愛しますが、その中でTransactorという自然変換を行うものが登場します。 今回はライブラリの背景にある概念を知るために、「自然変換」の概要について学びましたので、ここで共有させていただきます。 過去の記事: 「関数型言語をもっと使いこなしたい！」マイクロアドの新卒エンジニアがデータサイエンティストの先輩に圏論の初歩を指導してもらった話 - MicroAd Developers Blog 圏論初心者が関手に入門し、Sc
IO モナドを使った Web アプリケーションの構築 - Don't Repeat Yourself
Scala の記事を書くのは地味に初めてかもしれません．今回は，Scala の cats-effect というライブラリの中にある IO モナドを使って Web アプリケーションを構築してみたいと思ってやってみたので，その話を簡単にメモしておきます． cats とは？ Scala 界隈だとかなり有名です．Scalaz か cats を選ぶことが多いと思います．Scalaz も大変すばらしいライブラリですが，今回は cats の話を少しします． cats は関数型プログラミングを Scala で行うために必要な抽象度の高い関数セットを提供するライブラリです．抽象度の高い関数セットとはどういうことか…私なりの理解で行くと，通常 Scala の List[A] や Option[A] などには flatMap という関数がついていますよね．あれはあくまで，個別具体のモナドに対する個別実装がなされ
Scala脳のための C# LINQ | eed3si9n
これは Scala プログラマのための C# LINQ 機能の覚え書きだが、逆としても使えるはず。 型推論 C# には型推論がある。個人的に、ローカル変数ではできるだけ var を使うようにしている。
独習 Scalaz — 独習 Scalaz
独習 Scalaz これまでいくつのプログラミング言語が羊の衣を着た Lisp に喩えられただろうか? Java は馴染み親しんだ C++ のような文法に GC を持ち込んだ。それまで他にも GC を載せた言語はあったけども、現実的に C++ の代替となりうる言語に GC が載ったことは 1996年には画期的に思われた。やがて時は経ち、人々は自分でメモリ管理をしないことに慣れていった。JavaScript と Ruby の両言語もその第一級関数 (first-class function) やブロック構文を持つことから羊の衣を着た Lisp と呼ばれたことがある。S式の同図像性がマクロに適することから Lisp系の言語はまだ面白いと思う。 近年の言語はもう少し新しい関数型言語から概念を借りるようになってきた。型推論やパターンマッチングは ML にさかのぼることができると思う。時が経てば、人
Scalaでリスト処理
Scalaにはリストを始め，コレクションと呼ばれるさまざまなデータ構造が用意されている． ここでは，それらの基本的な使い方について学ぶ． 本Webページの作成には Emacs org-mode を用い， 数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください． また org-info.js を利用しており， 「m」キーをタイプするとinfoモードでの表示になります． 利用できるショートカットは「?」で表示されます． Scalaのリスト (scala.collection.immutable.List) について説明する． Scalaでは，リストは List(x1, x2, …, xn) のように表記する． scala> List(3, 1, 4) res:
なぜあなたの sbt はすぐに起動しないのか - Qiita
特に Scala 初心者だったとき、Scala を始めようとして「なかなか jar ファイルが落ちてこなくてコードが書き始められない」という問題に遭遇したことがある方も多いのではないかと思います。Advent Calendar の穴埋めのネタとして、それについて少し説明してみようと思います。 参考：下り 60Mbps での結果 http://qiita.com/seratch@github/items/0df29e637a9f9b3d7dec sbt (Scala Build Tool) まず前提として Scala のビルドツールは Gradle や Maven も利用可能ですが、Typesafe 社が開発している sbt というビルドツールが主流です。 この記事時点での最新バージョンは 0.13.9 です。 https://github.com/sbt/sbt/releases このとこ
なぜSparkか
今週から Coursera の Big Data Analysis with Scala and Spark を受講している。その初回で出てきた "Why Scala? Why Spark?" に関する議論をざっくりとまとめる。（導入なので『RDDとは』みたいな話はしない） Stack Overflow Developer Survey 2016 "Top Paying Tech in US" を見ると、なんと上位2つが Spark と Scala になっている： なぜこんなに人気なのか？ 時はビッグデータ戦国時代、もちろん「大規模データを効率的に処理できるから」という事実が一因であることは言うまでもない。しかし、それ以上に強調すべき点がある。 Developer Productivity Dr. Heather Miller いわく Scala, Spark を選択する理由は、それらが
A scalable particle filter in Scala
Darren Wilkinson's blog Statistics, computing, functional programming, data science, Bayes, stochastic modelling, systems biology and bioinformatics Menu and widgets Introduction Many modern algorithms in computational Bayesian statistics have at their heart a particle filter or some other sequential Monte Carlo (SMC) procedure. In this blog I’ve discussed particle MCMC algorithms which use a part
ScalaMatsuri 2024 | The largest international Scala conference in Asia
Admission tickets are now on sale! The sale will end on June 7th, 23:59 (JST), so get yours early. Click here to get ScalaMatsuri 2024 tickets This year's Scala Matsuri will be held offline. We are planning to hold some contents unique to offline. Stay tuned! Conference Sessions and Open Mic Sessions Conference sessions and open mic sessions will be held on the same day, Saturday, June 8 - Sunday,
Apache Sparkってどんなものか見てみる（その１ - 夢とガラクタの集積場
こんにちは。 Kafkaを試している最中で微妙ですが、最近使えるのかなぁ、と情報を集めているのが「Apache Spark」です。 MapReduceと同じく分散並行処理を行う基盤なのですが、MapReduceよりも数十倍速いとかの情報があります。 ・・・んな阿呆な、とも思ったのですが、内部で保持しているRDDという仕組みが面白いこともあり、 とりあえず資料や論文を読んでみることにしました。 まず見てみた資料は「Overview of Spark」（http://spark.incubator.apache.org/talks/overview.pdf）です。 というわけで、読んだ結果をまとめてみます。 Sparkとは？ 高速でインタラクティブな言語統合クラスタコンピューティング基盤 Sparkプロジェクトのゴールは？ 以下の2つの解析ユースケースにより適合するようMapReduceを拡張
FACTORIE: Home
Inference The basic use of a graphical model is to perform inference: making predictions about the values of unobserved variables, conditioned on the values of observed variables and the parameters. FACTORIE has implementations of many common inference algorithms based on both belief propagation and MCMC. Tutorial » Learning Through a modular specification of inference, optimization, and learning
Stanford Topic Modeling Toolbox
Upgrading from 0.2.x? The example scripts and data file have changed since the previous release. Make sure to update your scripts accordingly. (Don't forget to check the imports!) Getting started This section contains software installation instructions and the overviews the basic mechanics of running the toolbox. More ... Prerequisites A text editor for creating TMT processing scripts. TMT scripts
Chisel の紹介 - ksmakotoのhatenadiary
Chisel（Constructing Hardware in a Scala Embedded Language）は、Scala の内部 DSL として実装されたハードウェア記述言語（開発しているバークレー大 EECS（Electrical Engineering and Computer Sciences）では "hardware construction language" としている）です。Scala によるディジタル回路の記述から、C++ によるシミュレータ、または、Verilog HDL による記述を出力できます（さらに検証を行うこともできるようです）。詳しくは http://chisel.eecs.berkeley.edu/ を参照してください。なお chisel は英語で、たがね（鏨）およびのみ（鑿）を指す語です。 Chisel の導入として、PC-Unix 環境（私の場合
Scalaで<:<とか=:=を使ったgeneralized type constraintsがスゴすぎて感動した話 - ( ꒪⌓꒪) ゆるよろ日記
Scala2.8から、Predefに<:<とか=:=とかが定義されていて、これなんだろ?とずーっと疑問だった訳ですよ。で、ついったーで質問投げてたらやっと理解できました。 教えて頂いた @ScalaTohoku さん、@okomok さん、@tioa さん、有り難うございました! "generalized type constraints"というヤツで、型パラメータに与えられた型が、特定の条件を満たす場合にのみ呼び出せるメソッドを定義できるというものです。しかもコンパイル時に静的にチェックされる!! これはスゴい!! What do <:<, <%<, and =:= mean in Scala 2.8, and where are they documented? - Stack Overflow =:=や<:<や<%<で特定の型のみ呼び出せるメソッドを定義する 具体的な例で説明します。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
EitherとValidation - Scalaz勉強会
halcat.org
A Full Integration of XGBoost and Apache Spark | R-bloggers
Introduction | Spark Local Cloud on Raspberry Pi
Is there a good math/stats library for Scala?
This page has moved