ScalaのHigher kinded typesを調べてみた
*Qiitaに掲載していたものと同じ内容をこちらに移転しました（作者は同じです）。 社内勉強会でproperな型, kindなどの言葉を耳にしたので、ちょっと自分なりに調べてみた。 この記事ではあくまでも雰囲気を理解するためのものであり、厳密な説明はしてないのであしからず。 キーワード 調べた際のキーワードは以下 higher-kinded type Higher-kind Generics type constructor parameter *それぞれほぼ同じ意味だけど、呼び方がいろいろあるらしい...（統一して） 型表現の抽象度 型にも抽象度がある（と、自分は勝手に思ってるだけで、厳密な定義方法はちょっとよく分からん）。 どういうことか？具体から抽象へと少しずつ階段を登っていくことにしよう。 具体 例えば、1や"hello" というのは、それそのものは非常に具体的な値をもつ。 具体的
Scala で簡単スクリプト Ammonite を試す | DevelopersIO
はじめに 普段はScalaで開発することが多いのですが、ちょっとコードを試したいときにIDEを起動するのは億劫でした。簡単に試せる場所がないかなーと探していたところ Ammonite を見つけましたので紹介します。 Ammoniteとは Ammonite Ammonite lets you use the Scala language for scripting purposes: in the REPL, as scripts, as a library to use in existing projects, or as a standalone systems shell. Ammoniteを使用すると、スクリプトの目的でScala言語を使用できます。REPLでは、スクリプトとして、既存のプロジェクトで使用するライブラリとして、またはスタンドアロンのシステムシェルとして使用できます。
Programming in Scala, Fifth Edition
If you purchase the eBook, you will be entitled to receive periodic updates as errata are fixed, for no additional charge. If you purchase a paper book, it will be shipped as soon as it comes into stock (which should take place the week of ). If you purchase the combo, the paper book will be shipped when it is published, estimated publication date is . About the book The fifth edition of Programmi
Practical FP in Scala
Practical FP in Scala: A hands-on approach, is a book for intermediate to advanced Scala developers. Aimed at those who understand functional effects, referential transparency and the benefits of functional programming to some extent but who are missing some pieces to put all these concepts together to build a large application in a time-constrained manner. Throughout the chapters we will design,
ScalaのREPLには2通りの方法がある - FLINTERS Engineer's Blog
こんにちは、池田です。 Scalaを学習する際や関数の挙動、動作を確認したいときに、REPLを活用しているかと思いますが 上のようにREPLでimportできないライブラリを使えるようにしたい時にどうするればいいのか？ ご存知でしょうか？ 僕はこのようにREPLでimportできないライブラリ(libraryDependenciesが必要なライブラリ)を使う方法を知らず 不自由な思いをしていたので紹介します。 1.REPLを使う2つの方法 2. Scalaコマンドについて 3. sbt consoleについて 4.それぞれのユースケース 1.REPLを使う2つの方法 まずREPLを使うときに2つの方法があります。 scalaコマンド を使う方法とsbt consoleを使う方法です。 ※Ammonite REPLという通常のREPLよりもより豊かなシェル環境を提供する代替REPLもあります
Haskell の Arrow tutorial の Scalaによる試行 - Qiita
最近では DDD 関連で語られることもある Functional Reactive Programming (FRP)の分野では、Arrowがよく使われてるという。Arrows-based FRP といった呼び方もあるらしい。 ただ、Scalaのライブラリに入っているのを見たことはあるけど、今まで使ったことがない。そこで今後の予習もかねて、Cats に入っている Arrow で素振りしてみる。お題は、Haskellの Arrow tutorial を選んでみた。 ちなみに自分は初見時やや混同したけど、圏論で「射(morphism)は〜で矢印(arrow)とも呼ばれる」といった文脈での arrow とこのArrow は別のもので(参考)、Freyd-category という圏の一種らしい。ただしここでは深入りせず、monad の generalization としての単なる型クラスの一つとい
確率モナドの Cats 実装とモナド則の Discipline テスト - Qiita
はじめに 『すごいHaskellたのしく学ぼう（以下テキスト）』の14章8節に、カスタムモナドのサンプルとして「確率モナド」が載っている。今回は、この確率モナドを Scala の圏論ライブラリ Cats を用いて書いてみる。 また、テキストには「できたばかりのモナドが、きちんとモナド則を満たしているか試すことも、とても重要です。」との記述もある。これも大事なので、Discipline を使って確認してみる。 使用ライブラリ compilerPlugin("org.spire-math" %% "kind-projector" % "0.9.8"), "org.typelevel" %% "cats-core" % "1.6.0", "org.typelevel" %% "cats-laws" % "1.6.0", "org.scalacheck" %% "scalacheck" % "1.
Ruminations of a Programmer
A programmer's blog - will deal with everything that relates to a programmer. Occasionally, it will contain some humour, some politics and some sport news. In the last post we talked about early abstractions that allow you to design generic interfaces which can be polymorphic in the type parameter. Unless you abuse the type system of a permissive language like Scala, if you adhere to the principle
猫番 — 猫番
猫番 Cats は Scala のための関数型プログラミングのライブラリで、これは僕がそれを使ってみた記録だ。 大まかな流れは、僕が 2012年 (!) に書いた独習 Scalaz に倣う。 Cats のサイト によると、名前は圏 (category) の遊び心のある短縮形に由来する。 プログラマの取りまとめは猫の群をまとめるようなものだと言われる。 訳注: 本稿原題の herding cats は、英語の慣用句の一つで、herd というのは何十匹もの牛や羊を追い立てて群で移動させること。 猫は集団行動ができないので、言うことを聞かずにてんでんばらばらな状態、またはそれをまとめようとする様。 少なくとも Scala を使ってるプログラマに関しては当てはまるのではないかと思う。 この状況を十分承知した上で、Cats は第一の動機として「とっつき易さ」をあげている。 Cats は技術的な視点か
CodeIQについてのお知らせ
2018年4月25日をもちまして、 『CodeIQ』のプログラミング腕試しサービス、年収確約スカウトサービスは、 ITエンジニアのための年収確約スカウトサービス『moffers by CodeIQ』https://moffers.jp/ へ一本化いたしました。 これまで多くのITエンジニアの方に『CodeIQ』をご利用いただきまして、 改めて心より深く御礼申し上げます。 また、エンジニアのためのWebマガジン「CodeIQ MAGAZINE」は、 リクナビNEXTジャーナル( https://next.rikunabi.com/journal/ )に一部の記事の移行を予定しております。 今後は『moffers by CodeIQ』にて、 ITエンジニアの皆様のより良い転職をサポートするために、より一層努めてまいりますので、 引き続きご愛顧のほど何卒よろしくお願い申し上げます。 また、Cod
Hindley-Milner型推論アルゴリズムをGroovyで書いてみた - uehaj's blog
こないだ「Haskellのforallについて理解したことを書いておく(ランクN多相限定)」の記事を書いたときにHindley-Milner型推論アルゴリズム*1を調査するにあたって、こちらにある「Scala by Example」の16章にあるScalaでの実装例をGroovyに書きなおしたので晒しておきます。 以下のような型検査・推論ができます。実行はできません。 def listLenTest = LetRec('len', Lam('xs', App(App(App(Var('if'), App(Var('isEmpty'), Var('xs'))), Var('zero')), App(Var('succ'), App(Var('len'), App(Var('tail'), Var('xs')))) )), App(Var('len'), App( App(Var('cons'
scalapropsというテストライブラリをscala-native対応させてリリースした - xuwei-k's blog
世界初のscala-native用テストライブラリ！ といっても過言ではない。*1 github.com リリースしたのは先週ですが、実装にばかり時間をかけていたら、解説というか経緯などを書いてる暇がなかったので、ようやく今書いているところです。 前提として、scalapropsとscala-nativeについて説明しておくと scalapropsは2年少し前に作って今もメンテしている、自作のproperty based testingのライブラリで (これ参照 Property Based Testing - scalapropsとscalacheckとその他色々 ) scala-nativeは、LLVM使うことにより、scalaがJVMなしのネイティブで動く、というものです。まだ最初の version 0.1 が出てから半年も経っていない、比較的若いプロジェクトです 以前scalazで
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Collect in Rust, traverse in Haskell and Scala - FP Complete
No More Transformers: High-Performance Effects in Scalaz 8
https://dwango.github.io/scala_text/
Read Scalazによる関数型プログラミングへの道 | Leanpub
Reddit - Dive into anything
My Notes
scala-sbtプロジェクト用のvimコンパイラプラグインを作成 - Qiita
【vimでscala-sbtプロジェクトを快適に開発したい】scala-sbt用のvim-compilerプラグインを作成 - Qiita