Monoid Morphisms, Products, and Coproducts - Higher Order
Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids, and we want to express some algebraic laws among them. We can then check these with automated tests, or indeed prove them with algebraic reasoning. This post kind of fell together when writing notes on chapter 10, “Monoids”, of Functional Programming in Sc
Transitioning to Scala
From late 2011 to early 2014 I was a lead developer at Nurun Toronto, a digital agency focused on e-commerce solutions. Facing a pipeline of new projects with nothing but Spring in one hand and Java in the other, I realized that it was time to quickly explore alternatives. Working at an agency puts things in perspective. Missing a contractual deadline because “Java sucks” isn’t going to impress cl
独習 Scalaz — 独習 Scalaz
独習 Scalaz これまでいくつのプログラミング言語が羊の衣を着た Lisp に喩えられただろうか? Java は馴染み親しんだ C++ のような文法に GC を持ち込んだ。それまで他にも GC を載せた言語はあったけども、現実的に C++ の代替となりうる言語に GC が載ったことは 1996年には画期的に思われた。やがて時は経ち、人々は自分でメモリ管理をしないことに慣れていった。JavaScript と Ruby の両言語もその第一級関数 (first-class function) やブロック構文を持つことから羊の衣を着た Lisp と呼ばれたことがある。S式の同図像性がマクロに適することから Lisp系の言語はまだ面白いと思う。 近年の言語はもう少し新しい関数型言語から概念を借りるようになってきた。型推論やパターンマッチングは ML にさかのぼることができると思う。時が経てば、人
Functional Programming in Scala Specialization - Coursera
Program on a Higher Level. Write elegant functional code to analyze data that's big or small
Overview
This doc page is specific to features shipped in Scala 2, which have either been removed in Scala 3 or replaced by an alternative. Unless otherwise stated, all the code examples in this page assume you are using Scala 2. EXPERIMENTAL Heather Miller, Eugene Burmako, Philipp Haller Reflection is the ability of a program to inspect, and possibly even modify itself. It has a long history across object
Escalante
Latest version is 0.3.0 An application server for Scala apps. Install Escalante Escalante is a Scala application server, based on the popular JBoss Application Server 7. The goals of Escalante are two-fold: Provide an environment for deploying and running Scala applications that is easier to use and more efficient to run than other existing solutions. Expose EE and other extra services present in
conscript で入れた sbt が動かない問題の回避 - seratch's weblog in Japanese
まずお読みください conscript 0.3.4 （この記事時点での最新）までの問題で、次のリリース以降では修正済であることがわかりました。 回避方法 cs harrah/xsbt --branch v0.11.2上記のようにして cs で入れた sbt を起動すると Error during sbt execution: Invalid section(s): organizationとだけエラーメッセージが出てポカーンってなるわけですが、launchconfig の設定読み込みでおかしくなってるだけなので ~/bin/sbt を以下のように書き換えると、とりあえず回避できます。 #!/bin/sh #java $CONSCRIPT_OPTS -Xmx1G -jar /home/seratch/.conscript/sbt-launch.jar @/home/seratch/.cons
Home
Scala で圏論入門 https://github.com/scalajp/introduction-to-category-theory-in-scala-jp/wiki に移動しました。こちらは、ミラーとさせていただきます。 これは、Typesafe 社の Director Professional Services である Heiko Seeberger 氏による「Introduction to Category Theory in Scala」の翻訳文です。誤訳、誤記などがありましたら、 日本Scalaユーザーズグループの「圏論入門 レビューのお願い」トピックに投稿していただくか、@quassia88 にご連絡ください。 もし君が僕みたいに、以前はJavaディベロッパーで、Scalaのファンになったばかりなら、君は多分遅かれ早かれ、モナドやら関手やらの、圏論の分野からやってきた謎
(もりそば)Scalaによる高階型変数 - Higher-kind Generics - ( ꒪⌓꒪) ゆるよろ日記
「ハイヤーーーーーッッ！！！」 と気合いを入れたところで、今日はScalaのコレクションライブラリで多用されている、Higher kind genericsについて軽く解説したいと思いハイヤーーーーーッッ！！！ Higher-kind Generics(type constructor parameter)って? まぁぶっちゃけ@kmizu が解説してくれてるのでコレ読んでもらえばおけです。 ScalaのHigher-kind Genericsについて - Togetter そういえば最近Javaでもid:Nagiseによるこんな話がありましたね。 Javaによる高階型変数の実装 - プログラマーの脳みそ Java による高階型変数と Scala とジェネリクス - Togetter 要は、型パラメータを取る型パラメータ(?)が使えるよって話。 trait AttrHelper[+Hold
ひなたねこ
data Maybe a = Nothing | Just a という型をekmettさんのコードを参考にChurch encodingしてみると、 newtype Maybe { runMaybe :: forall r. a -> r -> r -> r } となります。（多分） これをScalaで表現してみました。 とても面倒なことになってますが、ちゃんとMaybeモナドとして動作します。 Haskellだと結構綺麗に書けたりします。 Church encodingすると大抵の場合に高速化されます。 このMaybeモナドの例では、emptyをbindで合成した時に、Justの場合の処理を破棄しています。 ラムダ計算で代数的データ型を表現する方法 この記事も面白いのでぜひ読んでみて下さい。
scalaで、コップ本(第一版)に書いていないけど重要だと思うこと - xuwei-k's blog
結構前に、日本語版の第二版がでていないときに書いて、内容が古い部分がありますが、めんどくさいのでそのままにしておきますよーーー。というか日本語版の第二版でるので、とにかくそれ買いましょうーーーここに書いた不満点(?)がだいぶ解消されているんじゃないかと思います(｀・ω・´) Scalaスケーラブルプログラミング第2版 作者: Martin Odersky,Lex Spoon,Bill Venners,羽生田栄一,水島宏太,長尾高弘出版社/メーカー: インプレスジャパン発売日: 2011/09/27メディア: 単行本（ソフトカバー）購入: 12人 クリック: 235回この商品を含むブログ (46件) を見る 真面目に、scalaを普及させるにはどうすればいいかを色々考えてる今日この頃(｀・ω・´) 今でもコップ本はscalaを本格的に勉強するには、一番いい本ですが、色々足りない部分もあります
モナドはメタファーではない · eed3si9n
2011-05-28 Scala界の関数型プログラミング一派を代表する論客の一人、@djspiewak が 2010年に書いた “Monads Are Not Metaphors” を翻訳しました。翻訳の公開は本人より許諾済みです。翻訳の間違い等があれば遠慮なくご指摘ください。 2010年12月27日 Daniel Spiewak 著 2011年5月29日 e.e d3si9n 訳 僕は今、約束を破るところだ。およそ三年前、僕は絶対にモナドの記事だけは書かないと自分に約束した。既にモナドに関する記事は有り余っている。記事の数が多すぎてその多さだけで多くの人は混乱している。しかも全員がモナドに対して異なる扱い方をしているため、モナドの概念を初めて学ぼうとする者は、ブリトー、宇宙服、象、砂漠のベドウィン (訳注: アラブ系遊牧民) の共通項を探す努力をするハメになっている。 僕は、この混乱した
Scala 2.9.0のscala.sys.processパッケージが便利過ぎる件について - kmizuの日記
先日、Scala 2.9.0 RC4がリリースされ、正式リリース(final)までもうあと少しといった感じになって来ましたが、皆様、いかがお過ごしでしょうか。訓練されたScala使いはRCには手を出さないとも言われますが、私は新し物好きなので、RCにも手を出してしまいます。 それはともかくとして、Scala 2.9.0の最大の目玉は何でしょうか？世間的(どこの世間だというツッコミはおいといて)には並列コレクションではないでしょうか。Scalaの公式サイトでも新機能の紹介で真っ先に挙げられていますし、少なくとも一番注目されているのは並列コレクションでしょう。 並列コレクションは、公式サイトも含め、英語圏のブログなどあちこちで既に紹介されているので、このエントリではあえて、その陰に隠れてあまり注目されないが、なかなか便利なscala.sys.processパッケージについて紹介します。 sca
いまイチオシのScala本、「オブジェクト指向プログラマが次に読む本－Scalaで学ぶ関数脳入門」: ホットコーナー
ブログ(iiyu.asablo.jpの検索) ホットコーナー内の検索 でもASAHIネット(asahi-net.or.jp)全体の検索です。 検索したい言葉のあとに、空白で区切ってki4s-nkmrを入れるといいかも。 例 中村(show) ki4s-nkmr ウェブ全体の検索 ASAHIネット(http://asahi-net.jp )のjouwa/salonからホットコーナー(http://www.asahi-net.or.jp/~ki4s-nkmr/ )に転載したものから。 --- http://iiyu.asablo.jp/blog/2011/01/17/5639492 プログラミングScala, Steps in Scalaなど。 で紹介した http://www.amazon.co.jp/exec/obidos/ASIN/4774144363/showshotcorne-22/
Moving from Java to Scala - One year later... - DZone
One year ago I posted on moving from Java to Scala [1]. At that time my experience with Scala was limited to reading some technical materials and to implementing a few simple mathematical algorithms such as weighed average. Even though I hadn't developed any project in Scala yet, I had a good feeling that moving from Java to Scala could be similarly right decision as moving from C/C++ to Java 10
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日本Scalaユーザーズグループ - ScalaJP
Scala Cheatsheet
2011/12/10_第二回Scala会議( #scala_kaigi )
プログラミング言語Scala 日本語情報サイト
IBM Developer
