[scalaz]Task - 並列処ç†
先日ã®ã€ŒReactive System Meetup in 西新宿ã€ã§ã€ŒScalaz-Streamã«ã‚ˆã‚‹Functional Reactive Programmingã€ã®ã‚¹ãƒ©ã‚¤ãƒ‰ã‚’作るã«ã‚ãŸã£ã¦scalazã®Taskã«ã¤ã„ã¦èª¿ã¹ãªãŠã—ã¦ã¿ãŸã®ã§ã™ãŒã€Taskã®å®Ÿç”¨æ€§ã«ã¤ã„ã¦å†ç¢ºèªã™ã‚‹ã“ã¨ãŒã§ãã¾ã—ãŸã€‚ 色々ã¨åˆ‡ã‚Šå£ãŒã‚ã‚Šã¾ã™ãŒã€ãã®ä¸ã§ä¸¦åˆ—性能ãŒä»Šå›žã®ãƒ†ãƒ¼ãƒžã§ã™ã€‚ 準備準備ã¨ã—ã¦ä»¥ä¸‹ã®ã‚‚ã®ã‚’用æ„ã—ã¾ã™ã€‚ implicit val scheduler = new java.util.concurrent.ForkJoinPool(1000) def go[T](msg: String)(body: => T): Unit = { System.gc val ts = System.currentTimeMillis val r = body println(s"$msg(${System.c
[SDN]List性能å•é¡Œ
懸案ã ã£ãŸMonadic Programmingã€Functional Reactive Programmingã‚‚ã‚る程度目処ãŒã¤ã„ã¦ããŸã“ã¨ã‚‚ã‚ã‚Šã€è¦ä»¶å®šç¾©ã§ä½œæˆã•ã‚ŒãŸãƒ¢ãƒ‡ãƒ«ã‚’実装ã«è½ã¨ã—込むã¨ã„ã†æµã‚Œã®ä¸ã§ã®ç·åˆçš„ãªScalaプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ–¹æ³•è«–ã‚’Scala Design Noteã¨ã„ã†åˆ‡ã‚Šå£ã§è€ƒå¯Ÿã—ã¦ã„ã“ã†ã¨æ€ã„ã¾ã™ã€‚ 大昔ã«Java World誌ã§ã€ŒJava Design Noteã€ã¨ã„ã†é€£è¼‰ã‚’書ã„ã¦ã„ã¾ã—ãŸãŒã€ãã®Scala版をイメージã—ã¦ã„ã¾ã™ã€‚ Scalaを実務ã«ä½¿ã†å ´åˆã«æ³¨æ„ãŒå¿…è¦ãªã®ãŒListã®æ€§èƒ½å•é¡Œã§ã™ã€‚ Scalaã§ã¯é–¢æ•°åž‹è¨€èªžã®ä¼çµ±ã‚’è¸è¥²ã—ã¦Lispã®Listç”±æ¥ã®Listã‚’åŸºæœ¬ãƒ‡ãƒ¼ã‚¿æ§‹é€ ã¨ã—ã¦ã„ã¾ã™ã€‚システムã®å„種デフォルトもListを使ã†æ–¹å‘ã«ãªã£ã¦ã„ã¾ã™ã—ã€æ–‡æ³•ã‚’説明ã™ã‚‹å ´åˆã«ã‚‚Listを使用ã™ã‚‹ã‚±ãƒ¼ã‚¹ãŒå¤šã„ã¨æ€ã„ã¾ã™ã€‚ Listã¯é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¨ã®
Typelevel | How can we map a Set?
Scalaz used to have a scalaz.Functor for scala.collection.Set but it was eventually removed because it relied on Any’s == method. You can read more about why Functor[Set] is a bad idea at Fake Theorems for Free. If Set had been truly parametric, we wouldn’t have been able to define a Functor in the first place. Luckily, a truly parametric Set has recently been added to Scalaz as scalaz.ISet, with
Scalaz勉強会ã—ã¾ã—ãŸ
APPAREL CLOUDã¯ã‚¢ãƒ‘レルウェブãŒæä¾›ã—ã¦ã„るアパレルå‘ã‘ã®ã‚¯ãƒ©ã‚¦ãƒ‰ã‚µãƒ¼ãƒ“スã§ã™ã€‚ボクãŒæ‰€å±žã™ã‚‹Everforthã®æä¾›ã™ã‚‹Everforthプラットフォーム上ã«æ§‹ç¯‰ã•ã‚Œã¦ã„ã¾ã™ã€‚ Everforthプラットフォームã¯ã€O2Oやオムニãƒãƒ£ãƒãƒ«å‘ã‘ã®ã‚¯ãƒ©ã‚¦ãƒ‰ãƒ»ãƒ—ラットフォームã§ã™ã€‚Everforthプラットフォームã§ã¯ã€ã‚µãƒ¼ãƒ“スを実行ã™ã‚‹ã‚¯ãƒ©ã‚¦ãƒ‰å®Ÿè¡ŒåŸºç›¤ã¨åŒæ™‚ã«O2Oやオムニãƒãƒ£ãƒãƒ«ãƒ»ãƒ“ジãƒã‚¹ã‚’サービスã«çµã³ä»˜ã‘ã‚‹ãŸã‚ã®æ¥å‹™åˆ†æžã€ã‚·ã‚¹ãƒ†ãƒ 分æžã‚’包å«ã—ãŸã‚µãƒ¼ãƒ“ス開発体系ã®æ供も予定ã—ã¦ã„ã¾ã™ã€‚ 「サービス開発体系ã€ã¯ã€ã‚ªãƒ–ジェクト指å‘ビジãƒã‚¹ãƒ»ãƒ¢ãƒ‡ãƒªãƒ³ã‚°ã€ã‚ªãƒ–ジェクト指å‘分æžè¨è¨ˆã®æŠ€è¡“をベースã«ã€Everforthプラットフォームをターゲットã¨ã—ãŸã‚¢ãƒ—リケーション開発ã®æ–¹æ³•è«–ã¨ã—ã¦æ•´å‚™ã—ã¦ã„ã予定ã§ã™ã€‚ 一般的ãªã‚ªãƒ–ジェクト指å‘分æžè¨è¨ˆæ–¹æ³•è«–ãŒè¤‡é›‘ã§åˆ†ã‹ã‚Šã¥ã‚‰ã„ã‚‚ã®ã«ãªã£ã¦ã„ã‚‹ã®ã¯ã€
Either 㨠scalaz.Validation - cooldaemonã®å‚™å¿˜éŒ²
下記ã§å–り上ã’られã¦ã„ã‚‹ãƒã‚¿ã«ã¤ã„ã¦ãƒ¡ãƒ¢ã‚’残ã™ã€‚ Scala ã® Either ã«ã¤ã„ã¦ã®è€ƒå¯Ÿ - scalaã¨ã‹ãƒ»ãƒ»ãƒ» Scala勉強会第53回 (Eitherã‚„Scalazã®Validationã«ã¤ã„ã¦) - Togetter Either 㨠Scalaz Either 㯠flatMap メソッドをæŒãŸãªã„ã®ã§ for å¼ã§ã¯ä½¿ãˆãªã„。for å¼å†…㧠Right ã§å‡¦ç†ã‚’進ã‚ãŸã„ãªã‚‰ right メソッドã§ã€Left ã§å‡¦ç†ã‚’進ã‚ãŸã„ãªã‚‰ left メソッド㧠*Projection ã‚’å–å¾—ã™ã‚‹å¿…è¦ãŒã‚る。 def r(n: Int): Either[String, Int] = Right(n) for { x <- r(1).right; y <- r(x).right } yield x+y ã¨ã¯ã„ãˆã€å¤šãã®å ´åˆ Right ã§å‡¦ç†ã‚’進ã‚ãŸã„å ´åˆãŒå¤šãã€Left ã§å‡¦ç†ã‚’進ã‚
Scalaz 㧠Ordering モノイド - ãªã‚“ã¨ãªã㪠Developer ã®ãƒ¡ãƒ¢
書ç±ã€Œ ã™ã”ã„HaskellãŸã®ã—ãå¦ã¼ã†! 〠㮠Ordering モノイドを使ã£ãŸ lengthCompare 関数を Scalaz ã§å®Ÿè£…ã—ã¦ã¿ã¾ã—ãŸã€‚ Scalaz 7.0.0-M3 sbt 0.12.0 サンプルソース㯠http://github.com/fits/try_samples/tree/master/blog/20120828/ lengthCompare 関数ã¯ä»¥ä¸‹ã®ã‚ˆã†ã«æ–‡å—列を比較ã™ã‚‹å‰ã«æ–‡å—列長を比較ã™ã‚‹ã¨ã„ã†ã‚‚ã®ã§ã€æ–‡å—列長ãŒç‰ã—ã‹ã£ãŸå ´åˆã®ã¿ （= EQ） æ–‡å—列ã®æ¯”較 （`mappend` ã®å³è¾ºï¼‰ を実施ã—ã¾ã™ã€‚（処ç†å†…容ã¯æœ¬ã®ã¾ã¾ã§ã™ï¼‰ Haskell版 length_compare.hs import Data.Monoid lengthCompare :: String -> String -> Ordering lengthCompare
ã‚ãŸã—ã®Scalazプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
Scalaã¯ã‚ªãƒ–ジェクト指å‘言語ãªã®ã§ã™ã‚ˆã€‚ 知ã£ã¦ã¾ã—ãŸï¼Ÿ é‡è¦ï¼šã“ã‚Œã‹ã‚‰æ›¸ãコードã¯ã¨ã¦ã‚‚メニアックãªã®ã§å‚考ã«ã—ãªã„よã†ã«ã—ã¦ä¸‹ã•ã„。 今日ã¯æœ‰ç†æ•°ã‚’定義ã—ã¦ã¿ã¾ã™ã€‚ åŠ ç®—ã¨æ¸›ç®—ã‚’è¿½åŠ ã—ã¦ã¿ã‚‹ã€‚ ã•ã¦ã€ã“ã®ï¼’ã¤ã®ãƒ¡ã‚½ãƒƒãƒ‰ã€ã¨ã¦ã‚‚ä¼¼ã¦ã„ã¾ã™ã‚ˆã。 抽象化ã—ã¦ã—ã¾ã„ã¾ã™ã€‚ ã•ã¦ã€ä»Šæ—¥ã®æœ¬é¡Œã¯ã“ã“ã‹ã‚‰ã§ã™ã€‚ ã“ã®åŠ ç®—ã¨æ¸›ç®—ã‚’ä»–ã®æ•°å€¤åž‹ã«å¯¾å¿œã•ã›ãŸã„ã¨ã—ã¾ã™ã€‚ 普通ã¯ã“ã®ã‚ˆã†ã«ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã‚’使ã„ã¾ã™ã‚ˆã。 ã—ã‹ã—ã€+ã‚„-ã¯ãƒ¡ã‚½ãƒƒãƒ‰åž‹ã§ã¯ãªãã€å€¤åž‹ãªã®ã§ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã¯ä½¿ç”¨ã§ãã¾ã›ã‚“。 ãã“ã§ã€ã‚ªãƒ¼ãƒãƒ¼ãƒãƒ¼ãƒ‰ã‚’使ã‚ãšã€UnionTypesを使ã£ã¦å®šç¾©ã—ã¾ã™ã€‚ ã“ã‚Œã§ã‚‚ã¾ã å•é¡ŒãŒã‚ã‚Šã¾ã™ã€‚ Scalaã§ã¯ã€åž‹ãƒ‘ラメータをã¨ã‚‹é–¢æ•°ã‚’値ã¨ã—ã¦å®šç¾©ã§ãã¾ã›ã‚“。 ãã“ã§ã€é–¢æ•°ã®ã‚ˆã†ã«ãµã‚‹ã¾ã†åž‹ã‚’自分ã§å®šç¾©ã—ã¾ã™ã€‚ ã“ã‚Œã§+ã¨-ã®æ¼”算を抽象化ã—ã€ã•ã‚‰ã«å¤šç›¸ã«å¯¾å¿œã—ã¾ã—ãŸã。 ã‚ã§ãŸã—ã‚ã§ãŸã—。
比較ã¯ãƒ¢ãƒŽã‚¤ãƒ‰ - akihiro4chawonã®æ—¥è¨˜
比較モナドã«ã¤ã„ã¦è€ƒå¯Ÿã•ã‚Œã¦ã„る一連ã®ã‚¨ãƒ³ãƒˆãƒªã«æ„ŸéŠ˜ã‚’å—ã‘ã¦ã€ç§ã‚‚比較ã«ã¤ã„ã¦è€ƒãˆã¦ã¿ã¾ã—ãŸã€‚ 比較モナド - terazzoã®æ—¥è¨˜ 続・比較モナド - terazzoã®æ—¥è¨˜ 続・続・比較モナド〜復è®ç·¨ã€œ - terazzoã®æ—¥è¨˜ ã¾ãšã€è€ƒå¯Ÿå¯¾è±¡ã¨ã—ã¦ã€Œæ¯”較çµæžœã€ã¨ã€Œæ¯”較æ“作ã€ã«åˆ†ã‘ã¦è€ƒãˆã¾ã™ã€‚比較çµæžœã¨ã„ã†ã®ã¯ã€æ¯”較後ã«è¿”ã£ã¦ãる値(例：Java ã® Comparator ã® compare ã«ãŠã‘ã‚‹ è² ãƒ»é›¶ãƒ»æ£)を言ã„ã¾ã™ã€‚比較æ“作ã¨ã„ã†ã®ã¯ã€æ¯”較ã™ã‚‹é–¢æ•°(ã‚ã‚‹ã„ã¯é–¢æ•°ã‚ªãƒ–ジェクト)自体(例：Java ã® Compartor 自体)を言ã„ã¾ã™ã€‚ 比較çµæžœãƒ¢ãƒŽã‚¤ãƒ‰ 比較çµæžœã¨ã„ã†ã®ã¯ã€2ã¤ã®æ¯”較対象ã«å¯¾ã—ã¦ã€ãã®ç‰‡æ–¹ãŒä»–方よりも「å°ã•ã„ã®ã‹ã€ã€Œç‰ã—ã„ã®ã‹ã€ã€Œå¤§ãã„ã®ã‹ã€ã‚’示ã™å€¤ã§ã™ã€‚例ãˆã°ã€Perl 㮠比較演算å <=> ã‚„ Java ã® Comparator ã«ãŠã„ã¦ã€å·¦è¾ºãŒå°ã•ã„ã“
scalaz.StateT 㧠scalaz.State 㨠Option を組ã¿åˆã‚ã›ã‚‹ - cooldaemonã®å‚™å¿˜éŒ²
scalaz ã® ExampleState ã« StateT ã®ã‚µãƒ³ãƒ—ルãŒç„¡ã‹ã£ãŸã®ã§è©¦ã—ã¦ã¿ãŸã€‚ æ°—ãŒå‘ã„ãŸã‚‰ã€ãã‚‚ãã‚‚ State モナドã£ã¦ä½•ã‚ˆï¼Ÿã¨ã„ã†æ‰€ã‹ã‚‰èª¬æ˜Žæ›¸ãã‹ã‚‚。 package com.github.cooldaemon.try_scalaz import scalaz._ object TryState { import Scalaz._ def run { def initO = stateT[Option, Int, Int]((s: Int) => if (s % 2 == 0) Some((s, s)) else None ) initO ! 1 assert_=== None initO ! 2 assert_=== Some(2) def putO(s: Int) = stateT[Option, Int, Unit](_ => if (s % 2 == 0
Scalaz Tutorial: Enumeration-Based I/O with Iteratees
NOTE: This content is being moved to the target of this link. Please update your bookmarks. Scalaz 5.0 adds an implementation of a concept called Iteratee. This is a highly flexible programming technique for writing enumeration-based input processors that can be freely composed. A lot of people have asked me to write a tutorial on how this works, specifically on how it is implemented in Scalaz and
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Scala.js + Scalaz Concurrent Task
{{#tags}}- {{label}}
{{/tags}}