Property Based Testing - scalapropsとscalacheckとその他色々
class: center, middle # Property Based Testing scalapropsとscalacheckとその他色々 [](https://creativecommons.org/licenses/by/2.1/jp/) --- class: middle <img src="image/xuwei.gif" alt="アイコン" width="100" height="100" /> - twitter [@xuwei_k](https://twitter.com/xuwei_k) - github [@xuwei-k](https://github.com/xuwei-k) - blog <https://x
ScalaプログラマのためのHaskell入門
4. ●Haskellで手続き的に書くなんて邪道ではないか? ●Haskellの設計者 Simon Peyton Jones の言 ●Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell ●Haskell is the world’s finest imperative programming language 「Haskellは世界最高の手続き型プログラミング言語です」 ●設計者が手続き型言語と言っているので手続き的に書いて全く問題あ りません Haskellに関するよくある誤解
Haskell for Scala Developers
Peter asked me to write this blog post, so here it is! To start us off I'll explain a few common concepts in Haskell and show you their Scala equivalent. We'll start out with the basics: algebraic data types. Algebraic data types, along with primitives, are how we represent data in Haskell. data Sum = One | Two data Product = Product Int Int This example shows the two kinds of algebraic data types
How Haskell is Changing my Brain
Yoneda Yay! Why Haskell? Haskell syntax looks different. But once you learn basic Haskell syntax, a huge world of implementations opens up to you. Many Haskell library functions exist in other languages too, for example in scalaz. Haskell for Learning We can understand abstractions and concepts (like Yoneda!) through Haskell. We can develop our learning skills themselves through Haskell. Haskell f
レンズ (ぶつかり稽古の没プレゼン)
10. sn e l n m というレンズの、s t n m がセッター、g t n m が ae e ae e ae ゲッター。 nwuhr=(e nm)ato "iaaa eAto st ae uhr hrtr"
Liveblogging CUFP 2013 « syslog
I'm here at the Commercial Users of Functional Programming workshop at ICFP 2013) with Heidi Howard, David Sheets and Leo White. Marius Eriksen and Michael Sperber are co-chairing this year. Functional programming is a hot topic these days, and this year's program reflects the maturing nature of the program. Record number of submissions, and we could easily have made this a multi-day program. Â
自己関手の圏におけるモノイド対象
きしだൠ(K1S) @kis あぁ、モナドというのは、自己関手の圏におけるモノイド対象なのだな、なるほど。たとえばOptionalでいうと、Optionalはなんらかの型の値を持っていてその型自体が圏なのだけど、その圏であるOptionalからOptionalへの関数、つまり自己関手を対象とした圏の対象、と。 ると @cocoa_ruto @kis それは恒等モナドであって圏論の一般のモナドやHaskellの一般のモナドではありません。自己関手は圏(型ではありません)から同じ圏への関手です。(続く)
Scala vs. Haskell vs. Python
Functional programming is on the upswing, but should you bet your career on it, or is it a short-lived technology fad? I have long wanted to use functional programming professionally and for the last year I have. Mainly Scala, written in Haskell style, plus some real Haskell programming. Here is my impression of Scala and Haskell compared to my benchmark language, Python. Scala Scala is a function
HaskellのdoとScalaのfor式とEitherとMonadPlus - xuwei-k's blog
標題の通り、色々書きたいことあって長くなってわかりにくくなりそうですが、頑張って書いてみます。なお、(2.8や2.9でもほぼ同じだと思いますが)Scalaのversionは2.10.1です。Haskellはghc7.4.2です。 「for文は7つしか使っていません(ﾄﾞﾔｯ」という謎の主張を含んだスライドが最近流行っていましたが、まずScalaのfor式はMonadのための構文というのはお馴染みですよね！！！ Monadそのものから説明していたらとても長くなってしまうので、そのあたりの説明は飛ばします。Scalaのfor式は、コンパイル時に内部的に以下のメソッドの組み合わせに変換されます map foreach flatMap filter withFilter なので、上記の5つのメソッド名は、予約語ではないですが、for式に変換されるという点において特別です。 for式を「Monadの
ScalaでのLens実装まとめ - xuwei-k's blog
最近コード書いていて、若干無理に抽象化を進めたら、なんかLensが必要になったけれど、いざScalaでLensを使うとなると果たしてどれを使えばいいのかすぐに判断できなかったので、いい機会なのでまとめてみる。 「ちなみに、これ書いた時点のまとめだし、すぐ古くなるかもしれないし、抜けてるものもあるかもしれないよ！」といういつもどおりの注意書きを書いておきます。 2015年3月に追記案の定古くなったので、あまり参考にしないほうがいいよ！ Scalaz https://github.com/scalaz/scalaz/blob/v7.0.0/core/src/main/scala/scalaz/Lens.scala 7にも6にもあるが、もういい加減finalでそうだしfinalでたし、使うとしたら7でしょう 良くも悪くも sealed trait LensFamily[-A1, +A2, +B1
ekmett と scalaz - xuwei-k's blog
ekmett 勉強会やろう（提案） 2013-03-14 23:17:22 via Janetter twitter上でいろいろあってekmett 勉強会 開催決定！ 「ekmett勉強会だがHaskell勉強会とは書いてない」「ekmettはScalazのコミッターである」「ekmettは、実はgithub上にScalaのリポジトリがいくつかある(超古くて最終更新2年くらいまえだけど)」つまり・・・ 2013-03-15 12:15:24 via web もちろん歓迎される(´･_･`)！！ 2013-03-15 12:16:15 via Janetter というわけで盛り上がってました(?)が URLこんなこと言ったけど当日発表するのは気が引けるし、気が向いたらblogに書こうかな… 2013-03-15 18:06:28 via Twitter for Android というわけなの
Scalaz 6.0.4 と Haskell (GHC7.4.1) を比べてみることによってScalazのclassを分類して理解してみる - xuwei-k's blog
追記: この記事書いたあとのtwitter上での反応 ScalazとHaskellの比較記事というか疑問点をいっぱい書いたら、shelarcyさんにいっぱい教えておもらったよ！ Scalaz7 では色々改善されている部分もあるけれど、まだ作りかけなので、とりあえずScalaz6.0.4で。自分のHaskellの知識が浅く、間違ってること言っている可能性大なので、なにかあればどんどん突っ込んでくださいm(_ _)m まず対応していそうなものをとにかく書きだしてみた ← 名前同じで、ほぼ同じ役割をしていると思われるもの。結構ある 無名関数の引数がカリー化されないので、Scalazのほうには、Haskellには存在しないApplicativeBuilderというものがある Scalazの場合Bifunctorというものがあるが、Haskellにbifunctorという単語がでてこない ほかにも、
Haskell vs. F# vs. Scala
This document compares the parallel programming support in Haskell, F#, and Scala by looking at their language features, high-level abstractions for parallelism, and experimental results from implementing the n-body problem on multi-core systems. It finds that all three languages provide good support for parallelism through features like parallel collections, tasks, actors, and strategies/skeleton
型理論・型システムの定番の入門書「TAPL」の日本語版が発行されるぞ - Route 477
■ [book][prog] 型理論・型システムの定番の入門書「TAPL」の日本語版が発行されるぞ Types And Programming Languages、通称TAPLの日本語版が発行される。 発売日は今月26日なのだが、すでにTwitter(の一部)で話題になって いたり、発売記念トークショーが予定されていたり(予約受付中)、あげくAmazonのランキングでニンジャスレイヤー4巻と並んだりと、専門書の発売とは思えない盛り上がりを見せている。 4274069117 TAPLといえば、大学のソフトウェア関係の研究室で輪講の題材として使われたりする、型理論の定番の入門書だ。 型理論(Type Theory)とは、静的型付け言語、特にHaskellやOCamlといった関数型言語の型チェックや型推論の基礎になっている理論だ。関数型言語に興味のある人なら、目次の中の「ラムダ計算」「多相型」「
Haskell vs F# その後 - Life Goes On
mkotha さんに直してもらったりして、Haskellのコードはだいぶ速くなりました。どうも２重ループの内側がボトルネックのようなので、そこを展開して、データ構造も変えて、UNPACKプラグマは効くので残して、正格評価を１ヶ所だけ。性能と可読性のバランスがそこそことれたかなと思ってます。C++ や F# のコードにも同じような改修を加えたら、Haskell はまた抜かれてしまいました。まぁでも、目くじら立てるほどの差でもないので、そのままにしています。 実行環境が Windows というアドバンテージがあるとはいえ、C++ も超える F# の健闘が光ります。明示的な副作用がない関数プログラミングでこれだけ速いとうれしい。コード書いてても気持ちがいいし、Microsoft でなければもっと流行っていいはず。 最終形のコードを以下に載せておきます。 ついでに Scala でも書いてみました。
函数プログラミングの集いに参加してきました - maoeのブログ
毎年、OCamlミーティングというイベントが開催されているそうなのですが、今年はICFPが東京で開かれることもあり、OCamlに限らない関数プログラミングのお祭りとして開催された「函数プログラミングの集い」に参加してきました。 参加者の使用言語の分布が知りたかったので、イベント当日にアンケートを採りました。180人程度の参加者のうち73人の方に協力していただきました。ありがとうございました。 気になる結果はというと、こんなふうになりました。 やはりHaskellユーザが多かったようです。 個人的に面白かったところは tanakhさんのモナドチュートリアルが実践的で良かった SML#とCの相互運用性の高さに驚いた OCamlのモジュールについて勉強したいなと思った などなどでした。 発表の資料は函数プログラミングの集い2011にまとまっています。ちょっと長すぎてみる気が起きませんが、Toge
scalaz - Scalaz: Type Classes and Pure Functional Data Structures for Scala - Google Project Hosting
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Scala: difference between a typeclass and an ADT?
HaskellとScalaの型システムとforall
http://cufp.org/conference/sessions/2013/yasuaki-takebe-gree-inc-common-pitfalls-functional/