Purescript with Monad
•
10 gefällt mir•13,411 views
天下一altJS武闘会(2014/06/08) PureScript枠発表です。
Empfohlen
Weitere ähnliche Inhalte
Was ist angesagt?
Was ist angesagt? (20)
Andere mochten auch
Andere mochten auch (20)
Ähnlich wie Purescript with Monad
Ähnlich wie Purescript with Monad (20)
Purescript with Monad
- 3. PureScript = Lightweight Haskell
- 7. リアルワールドにおける 問題テンプレ 型A, Bが与えられているとする solve :: (A -> B) -> IO () 特定の問題を解く任意の高階関数を想像して下さい 返り値 IO () は単純のため
- 8. 具体例1. Parser parse :: Parser a -> String -> Either Errors a type Parser a = String -> [(a, String)] --This is a naive definition of parsers.
- 9. 具体例2. WAI -- WAI = Web Application Interface run :: Port -> Application -> IO () type Application = Request -> IO Response
- 10. リアルワールドにおける ライブラリ提供問題 先ほどの関数solveを考える solve :: (A -> B) -> IO () 関数(A -> B)は実装に幅をもつ 関数(A -> B)はどこまでも複雑になり得る ライブラリはユーザへ関数(A -> B)を構築する手段を 提供したい
- 14. Monadユースケース
- 19. ユースケース4. JavaScript ブラウザ用動作記述ためのJSビルダがほしい パラメータによる汎用化が困難な問題 機能毎にJSビルダを構築する必要がある 構築したJSビルダは再利用したい
- 23. あなたの言語にMonadを取り 入れるために Required primitives Variables, First class functions, Function application Required Type system features Higher Kinded Polymorphism 無くても大丈夫らしい？ @khibinoさん情報 Overload(ex. Type Classes) Do notation
- 28. 何が無いのか GADTs Type Families Template Haskell Concurrent support Tuple
- 29. 何が追加されているのか Eff IOを細かく分けて個別に扱える forall e a. Eff e a == forall a. IO a Record Tupleの代わりか JS側のObjectの表現 Row Polymorphism RecordとEffで活躍
- 31. 以下JSer向け説明
- 36. A. JSやばい、柔軟性が必要。
- 37. PureScriptと柔軟性 First class functions 高階関数は基本的かつ非常に高い柔軟性を持つ武器 Algebraic Data Type(ADT) HaxeのEnum、という言い方はどうかと思うけど大 体それ。HaxeはGADTになったけど。 直積型、直和型、再帰型
- 40. PureScript Pros. Haskellの性質を持っている テスト容易性 QuickCheck is ready!! 高メンテナンス性 コード再利用性 学習コスト低い(ただしHaskellerに限る) 吐き出すJSコードが小さい JSエコシステムとの親和性
- 44. さらなる最適化 FFIを用いる。
- 45. PureScriptとFFI
- 49. FFIライブラリ戦略
- 53. FFIライブラリ戦術
- 54. JavaScriptから見たPureScript PSの関数(Curried function) JSではNested function forall e a. Eff e a 引数無しのfunction Methods function PSのRecord JSのObject
- 55. PureScriptから見たJavaScript ライブラリ JS Objectの型付け問題 FFIでJS側で処理する Monadで適切に構築する JSのthis問題 thisの値を運ぶ事で対処 foreign import data Self :: * method :: forall e a. (Self -> Eff e a) -> Eff e a
- 56. PureScriptから中身の見えない JavaScriptの値の扱い foreign import data Self :: * -- Represent `this` JavaScript側で生成した値 JavaScript側で扱う値 PureScript側で見える必要はない しかし運ぶ必要がある