waddlaw / educationalprelude

Haskell

Name	Stars	Issues	Merge Requests	Status	Hackage
haskell-stack-trace-plugin

Maintenance

Name	Stars	Issues	Merge Requests	Status	Hackage
hakyll-sass					-
sdl2-image					-
sdl2-mixer					-
missingh					-

---

• TAPL
• e-bigmoon/haskell-blog
• e-bigmoon/vscode-language-yesod

---

educationalprelude's Issues

1 + 0.1 が計算できない問題

ghci> 1 + 0.1
<interactive>:1:5: error:
    • Couldn't match expected type ‘Int’ with actual type ‘Double’
    • In the second argument of ‘(+)’, namely ‘0.1’
      In the expression: 1 + 0.1
      In an equation for ‘it’: it = 1 + 0.1

期待する動作

ghci> 1 + 0.1
1.1

型クラスのメソッドリストを作る

現在は Num のクラスメソッドのみ :t にするように分岐しているが、その他のメソッドも順次実装していく

implement test

目的

• ghci で出力する型情報 (:t を行った結果) について単体テストを行いたい。

方針

• GHC-API を使う
• diff とる

defaulting で Integer が優先される問題

デフォルトでは

-- Use [Integer, Double], plus modifications
default (Integer, Double)

となっている。変更しようとしても、そのあとの順番しか決めれないため GHC いじるしかない。

型変数に直感的な情報を持たせる

(+) :: Num a => a -> a -> a

となるところを

(+) :: Num 数値型 => 数値型 -> 数値型 -> 数値型

という感じにしたい。

数列の扱い

ghci> [0.1, 0.3 .. 1]

<interactive>:66:14: error:
    • Couldn't match expected type ‘Double’ with actual type ‘Int’
    • In the expression: 1
      In the expression: [0.1, 0.3 .. 1]
      In an equation for ‘it’: it = [0.1, 0.3 .. 1]

期待する動作

ghci> [0.1, 0.3 .. 1]
[0.1,0.3,0.5,0.7,0.8999999999999999,1.0999999999999999]

エラーメッセージに型クラスの情報が出てしまう問題

例えば以下のような感じ。

*EducationalPrelude> 1 == 'a'

<interactive>:13:1: error:
    • No instance for (P.Num Char) arising from the literal ‘1’
    • In the first argument of ‘(==)’, namely ‘1’
      In the expression: 1 == 'a'
      In an equation for ‘it’: it = 1 == 'a'

エラーメッセージを 型が合っていません という感じのシンプルな内容に修正してしまえば良い気がしている。

型クラスの変数を書き換えたい

ghci> :t (^)
Num a => a -> Int -> a

現状は以下のように表示される。

ghci> :t (^)
a -> Int -> a

Bool 型などはこれに当てはまらないが、クラス制約を非表示にしているため、このようになっている。

どうやって実現するか？

1. MyPrelude を定義する
2. MyGHCi を実装する
3. vanilla GHC を実装する

とりあえず MyPrelude を定義する 方向で進めることにした。

型クラスメソッドの扱いについて

現在のところ基本型は以下の5種類と仮定する

• Bool
• Int
• Double
• [a]
• (a, b)

このとき、Eq, Ord などのインスタンスにおいて問題が発生する。