Hello World!
78 | unit 79 | ``` 80 | 81 | 現状のライブラリにはいくつかの問題があります。 82 | 83 | - HTML文書の作成に手がかかります。すべての新しい要素が少なくとも1つのレコードと1つのデータ構築子が必要です。 84 | - 無効な文書を表現できてしまいます。 85 | - 要素名の入力を間違えるかもしれません 86 | - 要素に間違った型の属性を関連付けることができてしまいます 87 | - 開いた要素が正しい場合でも、閉じた要素を使用することができてしまいます 88 | 89 | この章では、さまざまな手法を用いてこれらの問題を解決し、このライブラリーをHTML文書を作成するために使える領域特化言語にしていきます。 90 | 91 | ## スマート構築子 92 | 93 | 最初に導入する手法は方法は単純なものですが、とても効果的です。モジュールの使用者にデータの表現を露出する代わりに、モジュールエクスポートリスト(module exports list)を使ってデータ構築子 `Element`、 `Content`、 `Attribute`を隠蔽し、正しいことが明らかなデータだけ構築する、いわゆる**スマート構築子**(smart constructors)だけをエクスポートします。 94 | 95 | 例を示しましょう。まず、HTML要素を作成するための便利な関数を提供します。 96 | 97 | ```haskell 98 | element :: String -> Array Attribute -> Maybe (Array Content) -> Element 99 | element name attribs content = Element 100 | { name: name 101 | , attribs: attribs 102 | , content: content 103 | } 104 | ``` 105 | 106 | 次に、 `element`関数を適用することによってHTML要素を作成する、スマート構築子を作成します。 107 | 108 | ```haskell 109 | a :: Array Attribute -> Array Content -> Element 110 | a attribs content = element "a" attribs (Just content) 111 | 112 | p :: Array Attribute -> Array Content -> Element 113 | p attribs content = element "p" attribs (Just content) 114 | 115 | img :: Array Attribute -> Element 116 | img attribs = element "img" attribs Nothing 117 | ``` 118 | 119 | 最後に、正しいデータ構造だけを構築することがわかっているこれらの関数をエクスポートするように、モジュールエクスポートリストを更新します。 120 | 121 | ```haskell 122 | module Data.DOM.Smart 123 | ( Element 124 | , Attribute(..) 125 | , Content(..) 126 | 127 | , a 128 | , p 129 | , img 130 | 131 | , render 132 | ) where 133 | ``` 134 | 135 | モジュールエクスポートリストはモジュール名の直後の括弧内に書きます。各モジュールのエクスポートは次の3種類のいずれかです。 136 | 137 | - 値の名前で示された、値(または関数) 138 | - クラスの名で示された、型クラス 139 | - 型の名前で示された型構築子、およびそれに続けて括弧で囲まれた関連するデータ構築子のリスト 140 | 141 | ここでは、 `Element`の**型**をエクスポートしていますが、データ構築子はエクスポートしていません。もしデータ構築子をエクスポートすると、モジュールの使用者が不正なHTML要素を構築できてしまいます。 142 | 143 | `Attribute`と `Content`型についてはデータ構築子をすべてエクスポートしています(エクスポートリストの記号 `..`で示されています)。これから、これらの型にスマート構築子の手法を適用していきます。 144 | 145 | すでにライブラリにいくつかの大きな改良を加わっていることに注意してください。 146 | 147 | - 不正な名前を持つHTML要素を表現することは不可能です(もちろん、ライブラリが提供する要素名に制限されています)。 148 | - 閉じた要素は、構築するときに内容を含めることはできません。 149 | 150 | `Content`型にもとても簡単にこの手法を適用することができます。単にエクスポートリストから `Content`型のデータ構築子を取り除き、次のスマート構築子を提供します。 151 | 152 | ```haskell 153 | text :: String -> Content 154 | text = TextContent 155 | 156 | elem :: Element -> Content 157 | elem = ElementContent 158 | ``` 159 | 160 | `Attribute`型にも同じ手法を適用してみましょう。まず、属性のための汎用のスマート構築子を用意します。最初の試みとしては、次のようなものになるかもしれません。 161 | 162 | ```haskell 163 | attribute :: String -> String -> Attribute 164 | attribute key value = Attribute 165 | { key: key 166 | , value: value 167 | } 168 | 169 | infix 4 attribute as := 170 | ``` 171 | 172 | この定義では元の `Element`型と同じ問題に悩まされています。存在しなかったり、名前が間違っているような属性を表現することが可能です。この問題を解決するために、属性名を表すnewtypeを作成します。 173 | 174 | ```haskell 175 | newtype AttributeKey = AttributeKey String 176 | ``` 177 | 178 | それから、この演算子を次のように変更します。 179 | 180 | ```haskell 181 | attribute :: AttributeKey -> String -> Attribute 182 | attribute (AttributeKey key) value = Attribute 183 | { key: key 184 | , value: value 185 | } 186 | ``` 187 | 188 | `AttributeKey`データ構築子をエクスポートしなければ、明示的にエクスポートされた次のような関数を使う以外に、使用者が型 `AttributeKey`の値を構築する方法はありません。いくつかの例を示します。 189 | 190 | ```haskell 191 | href :: AttributeKey 192 | href = AttributeKey "href" 193 | 194 | _class :: AttributeKey 195 | _class = AttributeKey "class" 196 | 197 | src :: AttributeKey 198 | src = AttributeKey "src" 199 | 200 | width :: AttributeKey 201 | width = AttributeKey "width" 202 | 203 | height :: AttributeKey 204 | height = AttributeKey "height" 205 | ``` 206 | 207 | 新しいモジュールの最終的なエクスポートリストは次のようになります。もうどんなデータ構築子も直接エクスポートしていないことに注意してください。 208 | 209 | ```haskell 210 | module Data.DOM.Smart 211 | ( Element 212 | , Attribute 213 | , Content 214 | , AttributeKey 215 | 216 | , a 217 | , p 218 | , img 219 | 220 | , href 221 | , _class 222 | , src 223 | , width 224 | , height 225 | 226 | , attribute, (:=) 227 | , text 228 | , elem 229 | 230 | , render 231 | ) where 232 | ``` 233 | 234 | `PSCi`でこの新しいモジュールを試してみると、コードが大幅に簡潔になり、改良されていることがわかります。 235 | 236 | ```text 237 | $ pulp repl 238 | 239 | > import Prelude 240 | > import Data.DOM.Smart 241 | > import Control.Monad.Eff.Console 242 | > log $ render $ p [ _class := "main" ] [ text "Hello World!" ] 243 | 244 |Hello World!
245 | unit 246 | ``` 247 | 248 | しかし、基礎のデータ表現が変更されていないので、 `render`関数を変更する必要はなかったことにも注目してください。これはスマート構築子による手法の利点のひとつです。外部APIの使用者によって認識される表現から、モジュールの内部データ表現を分離することができるのです。 249 | 250 | ## 演習 251 | 252 | 1. (簡単)`Data.DOM.Smart`モジュールで `render`を使った新しいHTML文書の作成を試してみましょう。 253 | 254 | 1. (やや難しい) `checked`と `disabled`など、値を要求しないHTML属性がありますが、これらは次のような**空の属性**として表示されるかもしれません。 255 | 256 | ```html 257 | <input disabled> 258 | ``` 259 | 260 | 空の属性を扱えるように `Attribute`の表現を変更してください。要素に空の属性を追加するために、 `attribute`または `:=`の代わりに使える関数を記述してください。 261 | 262 | ## 幻影型 263 | 264 | 次に適用する手法についての動機を与えるために、次のコードを考えてみます。 265 | 266 | ```text 267 | > log $ render $ img 268 | [ src := "cat.jpg" 269 | , width := "foo" 270 | , height := "bar" 271 | ] 272 | 273 | <img src="cat.jpg" width="foo" height="bar" /> 274 | unit 275 | ``` 276 | 277 | ここでの問題は、 `width`と `height`についての文字列値を提供しているということで、ここで与えることができるのはピクセルやパーセントの単位の数値だけであるべきです。 278 | 279 | `AttributeKey`型にいわゆる**幻影型**(phantom type)引数を導入すると、この問題を解決できます。 280 | 281 | ```haskell 282 | newtype AttributeKey a = AttributeKey String 283 | ``` 284 | 285 | 定義の右辺に対応する型 `a`の値が存在しないので、この型変数 `a`は**幻影型**と呼ばれています。この型 `a`はコンパイル時により多くの情報を提供するためだけに存在しています。任意の型 `AttributeKey a`の値は実行時には単なる文字列ですが、そのキーに関連付けられた値に期待されている型を教えてくれます。 286 | 287 | `AttributeKey`の新しい形式で受け取るように、 `attribute`関数の型を次のように変更します。 288 | 289 | ```haskell 290 | attribute :: forall a. IsValue a => AttributeKey a -> a -> Attribute 291 | attribute (AttributeKey key) value = Attribute 292 | { key: key 293 | , value: toValue value 294 | } 295 | ``` 296 | 297 | ここで、幻影型の引数 `a`は、属性キーと属性値が互換性のある型を持っていることを確認するために使われます。使用者は `AttributeKey a`を型の値を直接作成できないので(ライブラリで提供されている定数を介してのみ得ることができます)、すべての属性が正しくなります。 298 | 299 | `IsValue`制約は、キーに関連付けられた値がなんであれ、その値を文字列に変換し、生成したHTML内に出力できることを保証します。 `IsValue`型クラスは次のように定義されています。 300 | 301 | ```haskell 302 | class IsValue a where 303 | toValue :: a -> String 304 | ``` 305 | 306 | `String`と `Int`型についての型クラスインスタンスも提供しておきます。 307 | 308 | ```haskell 309 | instance stringIsValue :: IsValue String where 310 | toValue = id 311 | 312 | instance intIsValue :: IsValue Int where 313 | toValue = show 314 | ``` 315 | 316 | また、これらの型が新しい型変数を反映するように、 `AttributeKey`定数を更新しなければいけません。 317 | 318 | ```haskell 319 | href :: AttributeKey String 320 | href = AttributeKey "href" 321 | 322 | _class :: AttributeKey String 323 | _class = AttributeKey "class" 324 | 325 | src :: AttributeKey String 326 | src = AttributeKey "src" 327 | 328 | width :: AttributeKey Int 329 | width = AttributeKey "width" 330 | 331 | height :: AttributeKey Int 332 | height = AttributeKey "height" 333 | ``` 334 | 335 | これで、不正なHTML文書を表現することが不可能で、 `width`と `height`属性を表現するのに数を使うことが強制されていることがわかります。 336 | 337 | ```text 338 | > import Prelude 339 | > import Data.DOM.Phantom 340 | > import Control.Monad.Eff.Console 341 | 342 | > :paste 343 | … log $ render $ img 344 | … [ src := "cat.jpg" 345 | … , width := 100 346 | … , height := 200 347 | … ] 348 | … ^D 349 | 350 | <img src="cat.jpg" width="100" height="200" /> 351 | unit 352 | ``` 353 | 354 | ## 演習 355 | 356 | 1. (簡単) ピクセルまたはパーセントの長さのいずれかを表すデータ型を作成してください。その型について `IsValue`のインスタンスを書いてください。この型を使うように `width`と `height`属性を変更してください。 357 | 358 | 1. (難しい) 幻影型を使って真偽値 `true`、 `false`についての表現を最上位で定義することで、 `AttributeKey`が `disabled`や `chacked`のような**空の属性**を表現しているかどうかを符号化することができます。 359 | 360 | 361 | ```haskell 362 | data True 363 | data False 364 | ``` 365 | 366 | 幻影型を使って、使用者が `attribute`演算子を空の属性に対して使うことを防ぐように、前の演習の解答を変更してください。 367 | 368 | ## Freeモナド 369 | 370 | APIに施す最後の変更は、 `Content`型をモナドにしてdo記法を使えるようにするために、**Freeモナド**と呼ばれる構造を使うことです。Freeモナドは、入れ子になった要素をわかりやすくなるよう、HTML文書の構造化を可能にします。次のようなコードを考えます。 371 | 372 | ```haskell 373 | p [ _class := "main" ] 374 | [ elem $ img 375 | [ src := "cat.jpg" 376 | , width := 100 377 | , height := 200 378 | ] 379 | , text "A cat" 380 | ] 381 | ``` 382 | 383 | これを次のように書くことができるようになります。 384 | 385 | ```haskell 386 | p [ _class := "main" ] $ do 387 | elem $ img 388 | [ src := "cat.jpg" 389 | , width := 100 390 | , height := 200 391 | ] 392 | text "A cat" 393 | ``` 394 | 395 | しかし、do記法だけがFreeモナドの恩恵だというわけではありません。モナドのアクションの**表現**をその**解釈**から分離し、同じアクションに**複数の解釈**を持たせることをFreeモナドは可能にします。 396 | 397 | `Free`モナドは `purescript-free`ライブラリの `Control.Monad.Free`モジュールで定義されています。 `PSCi`を使うと、次のようにFreeモナドについての基本的な情報を見ることができます。 398 | 399 | ```text 400 | > import Control.Monad.Free 401 | 402 | > :kind Free 403 | (Type -> Type) -> Type -> Type 404 | ``` 405 | 406 | `Free`の種は、引数として型構築子を取り、別の型構築子を返すことを示しています。実は、 `Free`モナドは任意の `Functor`を `Monad`にするために使うことができます！ 407 | 408 | モナドのアクションの**表現**を定義することから始めます。これを行うには、サポートする各モナドアクションそれぞれについて、ひとつのデータ構築子を持つ `Functor`を作成する必要があります。今回の場合、2つのモナドのアクションは `elem`と `text`になります。実際には、 `Content`型を次のように変更するだけです。 409 | 410 | ```haskell 411 | data ContentF a 412 | = TextContent String a 413 | | ElementContent Element a 414 | 415 | instance functorContentF :: Functor ContentF where 416 | map f (TextContent s x) = TextContent s (f x) 417 | map f (ElementContent e x) = ElementContent e (f x) 418 | ``` 419 | 420 | ここで、この `ContentF`型構築子は以前の `Content`データ型とよく似ています。 `Functor`インスタンスでは、単に各データ構築子で型 `a`の構成要素に関数 `f`を適用します。 421 | 422 | これにより、最初の型引数として `ContentF`型構築子を使うことで構築された、新しい `Content`型構築子を `Free`モナドを包むnewtypeとして定義することができます。 423 | 424 | ```haskell 425 | type Content = Free ContentF 426 | ``` 427 | 428 | 型のシノニムの代わりにnewtypeを使用して、使用者に対してライブラリの内部表現を露出することを避ける事ができます。 `Content`データ構築子を隠すことで、提供しているモナドのアクションだけを使うことを仕様者に制限しています。 429 | 430 | `ContentF`は `Functor`なので、 `Free ContentF`に対する `Monad`インスタンスが自動的に手に入り、このインスタンスを `Content`上の `Monad`インスタンスへと持ち上げることができます。 431 | 432 | `Content`の新しい型引数を考慮するように、少し `Element`データ型を変更する必要があります。モナドの計算の戻り値の型が `Unit`であることだけが要求されます。 433 | 434 | ```haskell 435 | newtype Element = Element 436 | { name :: String 437 | , attribs :: Array Attribute 438 | , content :: Maybe (Content Unit) 439 | } 440 | ``` 441 | 442 | また、 `Content`モナドについての新しいモナドのアクションになる `elem`と `text`関数を変更する必要があります。これを行うには、 `Control.Monad.Free`モジュールで提供されている `liftF`関数を使います。この関数の(簡略化された)型は次のようになっています。 443 | 444 | ```haskell 445 | liftF :: forall f a. (Functor f) => f a -> Free f a 446 | ``` 447 | 448 | `liftF`は、何らかの型 `a`について、型 `f a`の値からFreeモナドのアクションを構築できるようにします。今回の場合、 `ContentF`型構築子のデータ構築子を次のようにそのまま使うだけです。 449 | 450 | ```haskell 451 | text :: String -> Content Unit 452 | text s = liftF $ TextContent s unit 453 | 454 | elem :: Element -> Content Unit 455 | elem e = liftF $ ElementContent e unit 456 | ``` 457 | 458 | 他にもコードの変更はありますが、興味深い変更は `render`関数に対してのものです。ここでは、このFreeモナドを**解釈**しなければいけません。 459 | 460 | ## モナドの解釈 461 | 462 | `Control.Monad.Free`モジュールでは、Freeモナドで計算を解釈するための多数の関数が提供されています。 463 | 464 | ```haskell 465 | runFree 466 | :: forall f a 467 | . Functor f 468 | => (f (Free f a) -> Free f a) 469 | -> Free f a 470 | -> a 471 | 472 | runFreeM 473 | :: forall f m a 474 | . (Functor f, MonadRec m) 475 | => (f (Free f a) -> m (Free f a)) 476 | -> Free f a 477 | -> m a 478 | ``` 479 | 480 | `runFree`関数は、**純粋な**結果を計算するために使用されます。 `runFreeM`関数は、フリーモナドの動作を解釈するためにモナドを使用することを可能にします 481 | 482 | 厳密には、 `MonadRec`のより強い制約を満たすモナド `m`を使用する制限がされています。これはスタックオーバーフローを心配する必要がないことを意味します。なぜなら `m`は安全な**末尾再帰モナド**(monadic tail recursion)をサポートするからです。 483 | 484 | まず、アクションを解釈することができるモナドを選ばなければなりません。 `Writer String`モナドを使って、結果のHTML文字列を累積することにします。 485 | 486 | 新しい `render`メソッドは補助関数 `renderElement`に移譲して開始し、 `Writer`モナドで計算を実行するため `execWriter`を使用します。 487 | 488 | ```haskell 489 | render :: Element -> String 490 | render = execWriter <<< renderElement 491 | ``` 492 | 493 | `renderElement`はwhereブロックで定義されています。 494 | 495 | ```haskell 496 | where 497 | renderElement :: Element -> Writer String Unit 498 | renderElement (Element e) = do 499 | ``` 500 | 501 | `renderElement`の定義は簡単で、いくつかの小さな文字列を累積するために `Writer`モナドの `tell`アクションを使っています。 502 | 503 | ```haskell 504 | tell "<" 505 | tell e.name 506 | for_ e.attribs $ \x -> do 507 | tell " " 508 | renderAttribute x 509 | renderContent e.content 510 | ``` 511 | 512 | 次に、同じように簡単な `renderAttribute`関数を定義します。 513 | 514 | ```haskell 515 | where 516 | renderAttribute :: Attribute -> Writer String Unit 517 | renderAttribute (Attribute x) = do 518 | tell x.key 519 | tell "=\"" 520 | tell x.value 521 | tell "\"" 522 | ``` 523 | 524 | `renderContent`関数は、もっと興味深いものです。ここでは、 `runFreeM`関数を使って、Freeモナドの内部で補助関数 `renderContentItem`に移譲する計算を解釈しています。 525 | 526 | ```haskell 527 | renderContent :: Maybe (Content Unit) -> Writer String Unit 528 | renderContent Nothing = tell " />" 529 | renderContent (Just content) = do 530 | tell ">" 531 | runFreeM renderContentItem content 532 | tell "" 535 | ``` 536 | 537 | `renderContentItem`の型は `runFreeM`の型シグネチャから推測することができます。関手 `f`は型構築子 `ContentF`で、モナド `m`は解釈している計算のモナド、つまり `Writer String`です。これにより `renderContentItem`について次の型シグネチャがわかります。 538 | 539 | ```haskell 540 | renderContentItem :: ContentF (Content Unit) -> Writer String (Content Unit) 541 | ``` 542 | 543 | `ContentF`の二つのデータ構築子でパターン照合するだけで、この関数を実装することができます。 544 | 545 | ```haskell 546 | renderContentItem (TextContent s rest) = do 547 | tell s 548 | pure rest 549 | renderContentItem (ElementContent e rest) = do 550 | renderElement e 551 | pure rest 552 | ``` 553 | 554 | それぞれの場合において、式 `rest`は型 `Writer String`を持っており、解釈計算の残りを表しています。 `rest`アクションを呼び出すことによって、それぞれの場合を完了することができます。 555 | 556 | これで完了です！`PSCi`で、次のように新しいモナドのAPIを試してみましょう。 557 | 558 | ```text 559 | > import Prelude 560 | > import Data.DOM.Free 561 | > import Control.Monad.Eff.Console 562 | 563 | > :paste 564 | … log $ render $ p [] $ do 565 | … elem $ img [ src := "cat.jpg" ] 566 | … text "A cat" 567 | … ^D 568 | 569 | <p><img src="cat.jpg" />A cat</p> 570 | unit 571 | ``` 572 | 573 | ## 演習 574 | 575 | 1. (やや難しい)`ContentF`型に新しいデータ構築子を追加して、生成されたHTMLにコメントを出力する新しいアクション `comment`に対応してください。 `liftF`を使ってこの新しいアクションを実装してください。新しい構築子を適切に解釈するように、解釈 `renderContentItem`を更新してください。 576 | 577 | ## 言語の拡張 578 | 579 | すべてのアクションが型 `Unit`の何かを返すようなモナドは、さほど興味深いものではありません。実際のところ、概ね良くなったと思われる構文は別として、このモナドは `Monoid`以上の機能は何の追加していません。 580 | 581 | 意味のある結果を返す新しいモナドアクションでこの言語を拡張することで、Freeモナド構造の威力を説明しましょう。 582 | 583 | **アンカー**を使用して文書のさまざまな節へのハイパーリンクが含まれているHTML文書を生成するとします。手作業でアンカーの名前を生成すればいいので、これは既に実現できています。文書中で少なくとも２回、ひとつはアンカーの定義自身に、もうひとつはハイパーリンクに、アンカーが含まれています。しかし、この方法には根本的な問題がいくつかあります。 584 | 585 | - 開発者は一意なアンカー名を生成するために失敗することがあります。 586 | - 開発者は、アンカー名のひとつまたは複数のインスタンスを誤って入力するかもしれません。 587 | 588 | 自分の間違いから開発者を保護するために、アンカー名を表す新しい型を導入し、新しい一意な名前を生成するためのモナドアクションを提供することができます。 589 | 590 | 最初の手順は、名前の型を新しく追加することです。 591 | 592 | ```haskell 593 | newtype Name = Name String 594 | 595 | runName :: Name -> String 596 | runName (Name n) = n 597 | ``` 598 | 599 | 繰り返しになりますが、 `Name`は `String`のnewtypeとして定義しており、モジュールのエクスポートリスト内でデータ構築子をエクスポートしないように注意する必要があります。 600 | 601 | 次に、属性値として `Name`を使うことができるように、新しい型 `IsValue`型クラスのインスタンスを定義します。 602 | 603 | ```haskell 604 | instance nameIsValue :: IsValue Name where 605 | toValue (Name n) = n 606 | ``` 607 | 608 | また、次のように `a`要素に現れるハイパーリンクの新しいデータ型を定義します。 609 | 610 | ```haskell 611 | data Href 612 | = URLHref String 613 | | AnchorHref Name 614 | 615 | instance hrefIsValue :: IsValue Href where 616 | toValue (URLHref url) = url 617 | toValue (AnchorHref (Name nm)) = "#" <> nm 618 | ``` 619 | 620 | `href`属性の型の値を変更して、この新しい `Href`型の使用を強制します。また、要素をアンカーに変換するのに使う新しい `name`属性を作成します。 621 | 622 | ```haskell 623 | href :: AttributeKey Href 624 | href = AttributeKey "href" 625 | 626 | name :: AttributeKey Name 627 | name = AttributeKey "name" 628 | ``` 629 | 630 | 残りの問題は、現在モジュールの使用者が新しい名前を生成する方法がないということです。 `Content`モナドでこの機能を提供することができます。まず、 `ContentF`型構築子に新しいデータ構築子を追加する必要があります。 631 | 632 | ```haskell 633 | data ContentF a 634 | = TextContent String a 635 | | ElementContent Element a 636 | | NewName (Name -> a) 637 | ``` 638 | 639 | `NewName`データ構築子は型 `Name`の値を返すアクションに対応しています。データ構築子の引数として `Name`を要求するのではなく、型 `Name -> a`の**関数**を提供するように使用者に要求していることに注意してください。型 `a`は**計算の残り**を表していることを思い出すと、この関数は、型 `Name`の値が返されたあとで、計算を継続する方法を提供するというように直感的に理解することができます。 640 | 641 | 新しいデータ構築子を考慮するように、 `ContentF`についての `Functor`インスタンスを更新する必要があります。 642 | 643 | ```haskell 644 | instance functorContentF :: Functor ContentF where 645 | map f (TextContent s x) = TextContent s (f x) 646 | map f (ElementContent e x) = ElementContent e (f x) 647 | map f (NewName k) = NewName (f <<< k) 648 | ``` 649 | 650 | そして、先ほど述べたように、 `liftF`関数を使うと新しいアクションを構築することができます。 651 | 652 | ```haskell 653 | newName :: Content Name 654 | newName = liftF $ NewName id 655 | ``` 656 | 657 | `id`関数を継続として提供していることに注意してください。型 `Name`の結果を変更せずに返すということを意味しています。 658 | 659 | 最後に、新しいアクションを解釈するために、解釈関数を更新する必要があります。以前は計算を解釈するために `Writer String`モナドを使っていましたが、このモナドは新しい名前を生成する能力を持っていないので、何か他のものに切り替えなければなりません。`WriterT`モナド変換子を`State`モナドと一緒に使うと、必要な作用を組み合わせることができます。型注釈を短く保てるように、この解釈モナドを型同義語として定義しておきます。 660 | 661 | ```haskell 662 | type Interp = WriterT String (State Int) 663 | ``` 664 | 665 | Int型の引数は状態の型で、この場合は増加していくカウンタとして振る舞う数であり、一意な名前を生成するのに使われます。 666 | 667 | `Writer`と `WriterT`モナドはそれらのアクションを抽象化するのに同じ型クラスメンバを使うので、どのアクションも変更する必要がありません。必要なのは、 `Writer String`への参照すべてを `Interp`で置き換えることだけです。しかし、この計算を実行するために使われるハンドラを変更しなければいけません。 `execWriter`の代わりに、 `evalState`を使います。 668 | 669 | ```haskell 670 | render :: Element -> String 671 | render e = evalState (execWriterT (renderElement e)) 0 672 | ``` 673 | 674 | 新しい `NewName`データ構築子を解釈するために、 `renderContentItem`に新しい場合分けを追加しなければいけません。 675 | 676 | ```haskell 677 | renderContentItem (NewName k) = do 678 | n <- get 679 | let fresh = Name $ "name" <> show n 680 | put $ n + 1 681 | pure (k fresh) 682 | ``` 683 | 684 | ここで、型 `Name -> Interp a`の継続 `k`が与えられているので、型 `Interp a`の解釈を構築しなければいけません。この解釈は単純です。 `get`を使って状態を読み、その状態を使って一意な名前を生成し、それから `put`で状態をインクリメントしています。最後に、継続にこの新しい名前を渡して、計算を完了します。 685 | 686 | これにより、 `PSCi`で、 `Content`モナドの内部で一意な名前を生成し、要素の名前とハイパーリンクのリンク先の両方を使って、この新しい機能を試してみましょう。 687 | 688 | ```text 689 | > import Prelude 690 | > import Data.DOM.Name 691 | > import Control.Monad.Eff.Console 692 | 693 | > :paste 694 | … render $ p [ ] $ do 695 | … top <- newName 696 | … elem $ a [ name := top ] $ 697 | … text "Top" 698 | … elem $ a [ href := AnchorHref top ] $ 699 | … text "Back to top" 700 | … ^D 701 | 702 | 703 | unit 704 | ``` 705 | 706 | 複数回の `newName`呼び出しの結果が、実際に一意な名前になっていることを確かめてみてください。 707 | 708 | ## 演習 709 | 710 | 1. (やや難しい) 使用者から `Element`型を隠蔽すると、さらにAPIを簡素化することができます。次の手順に従って、これらの変更を行ってください。 711 | 712 | - `p`や `img`のような(返り値が `Element`の)関数を `elem`アクションと結合して、型 `Content Unit`を返す新しいアクションを作ってください。 713 | - 型 `Content a`の引数を許容し、結果の型 `Tuple String`を返すように、 `render`関数を変更してください。 714 | 715 | 1. (やや難しい) 型同義語の代わりに `newtype`を使って `Content`モナドの実装を隠し、 `newtype`のためにデータ構築子をエクスポートしないでください。 716 | 717 | 1. (難しい) `ContentF`型を変更して、次の新しいアクションをサポートするようにしてください。 718 | 719 | ```haskell 720 | isMobile :: Content Boolean 721 | ``` 722 | 723 | このアクションは、この文書がモバイルデバイス上での表示のためにレンダリングされているかどうかを示す真偽値を返します。 724 | 725 | **ヒント**：`ask`アクションと`ReaderT`型変換子を使って、このアクションを解釈してみてください。あるいは、`RWS`モナドを使うほうが好みの人もいるかもしれません。 726 | 727 | ## まとめ 728 | 729 | この章では、いくつかの標準的な技術を使って、単純な実装を段階的に改善することにより、HTML文書を作成するための領域特化言語を開発しました。 730 | 731 | - データ表現の詳細を隠蔽し、**構築方法により正しい**文書を作ることだけを許可するために、**スマート構築子**を使いました。 732 | - 言語の構文を改善するために、**ユーザ定義の中置２項演算子**を使用しました。 733 | - 使用者が間違った型の属性値を提供するのを防ぐために、データの型に追加の情報を符号化する**幻影型**を使用しました。 734 | - **Freeモナド**を使って、内容の集まりの配列的な表現を、do表記を提供するモナド的な表現に変換しました。この表現を拡張してモナドの新しいアクションを提供し、標準のモナド型変換子でモナドの計算を解釈しました。 735 | 736 | 使用者が間違いを犯すのを防ぎ、領域特化言語の構文を改良するために、これらの手法はすべてPureScriptのモジュールと型システムを活用しています。 737 | 738 | 関数型プログラミング言語による領域特化言語の実装は活発に研究されている分野ですが、いくつかの簡単なテクニックに対して役に立つ導入を提供し、表現力豊かな型を持つ言語で作業すること威力を示すことができていれば幸いです。 739 | 740 | -------------------------------------------------------------------------------- /src/index.md: -------------------------------------------------------------------------------- 1 | ## 本書の内容についての注意事項 2 | 3 | **この翻訳の原著である ["PureScript by Example"](https://leanpub.com/purescript/read) は現在更新が途絶えており、この翻訳も古い内容のままになっています。そのため、本書の内容は最新の言語仕様に沿っておらず、サンプルプログラムの多くは最新の処理系ではコンパイルすることができません。変更のない部分については本書の内容も参考になりますが、もし本書を読み進める場合には十分ご注意ください。最新の情報については、[purescript/documentation](https://github.com/purescript/documentation) (英語) などを参考にしてください。** 4 | 5 | ## 目次 6 | 7 | ## そのほかのフォーマット 8 | 9 | - [原書(英語)](https://leanpub.com/purescript/read) 10 | - [原書 GitHub リポジトリ](https://github.com/paf31/purescript-book) 11 | - [単一 HTML ページ版](purescript-book-ja.html) 12 | - [EPUB 版](purescript-book-ja.epub) 13 | - [PDF 版](purescript-book-ja.pdf) 14 | 15 | ## ライセンス 16 | 17 | This book is licensed under the [Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License](http://creativecommons.org/licenses/by-nc-sa/3.0/deed.en_US). 18 | 19 | 本書は[クリエイティブコモンズ 表示 - 非営利 - 継承 3.0 非移植ライセンス](http://creativecommons.org/licenses/by-nc-sa/3.0/deed.ja)でライセンスされています。 20 | 21 | ## 更新履歴 22 | 23 | - 2018/04/28 バージョン 0.11 での変更に合わせ修正 24 | - 2015/07/01 バージョン 0.7 での変更についての注意書きの追加 25 | - 2015/04/09 公開 26 | 27 | --- 28 | 29 | Japanese translation by Hiruberuto and contributors 30 | -------------------------------------------------------------------------------- /templates/default.epub: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | $for(author-meta)$ 8 | 9 | $endfor$ 10 | $if(date-meta)$ 11 | 12 | $endif$ 13 |
31 |
32 | ウェブのための