Begin to explain the relationship between pattern-matching and value

haskell-jp · May 5, 2024 · 661288a · 661288a
1 parent 1fb0977
commit 661288a
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 3 deletions.
diff --git a/assets/18.md b/assets/18.md
@@ -955,7 +955,17 @@ ghci> formatEntry entry
 ```
 -->
 
-##### おまけ: パターンマッチと値の定義
+##### パターンマッチと値の定義
+
+この節はパターンマッチと直接関係ありませんが、パターンマッチやレコード型を理解する上でとても重要な話なので取り上げます。
+
+まずは課題hoge(6?)のおまけで紹介した、レコードラベルを使ってレコード型の値を定義する方法を思い出しましょう。例は例のごとく`Entry`型です:
+
+```haskell
+ghci> categoryFirst = Entry { category = "Glasses", price = 23000 }
+ghci> entry
+hoge
+```
 
 hoge
 

diff --git a/assets/6.md b/assets/6.md
@@ -74,7 +74,7 @@ data Entry =
 
 こちらもわかりやすさのために改行やスペースを挟んでいますが、実際には
 
-```
+```haskell
   Entry { category :: String, price :: Integer }
 ```
 
@@ -287,7 +287,7 @@ ghci> category freeMagazine
 ここで何より注目していただきたいのは、`magazine { price = 0 }`という式は、`magazine`というレコードの値を**直接書き換えるのではなく**、`magazine`を元に`price`だけが異なる**新しいレコードを作って返す**、ただそれだけしかしない、と言う点です。  
 その証拠として、`magazine`の`price`がどうなっているか確認してみましょう。
 
-```
+```haskell
 ghci> price magazine
 120
 ```