Haskell の色が変わったので愛用してる GitHub Client に PR を送っただけの話

1. GitHub での Haskell の色が
変わったので
ひげ

2. $ whoami
好きな言語: Haskell, Ruby
Haskell でバイトしてる
言語系が一番好き
最近は Elixir × Elm はじめました

3. 本題

4. FastHub という GitHub Client を
愛用してる
しかし....

5. 色が....

6. 緑....!!! (だった)

7. 室は最近 Haskell の色が変わった
github/linguist の PR#3728 で確認できる

8. なので PR を出そう

9. せっかくなので他に無いかを
調べよう！

10. Haskell で !!
(※ Haskell である必要はありません)

11. どう管理してるか
GitHub は YAML ，FastHub は JSON で管理してる

12. なので
ざっくりと考えると
1. ファイルをそれぞれ読み込んで
2. YAML と JSON の型にデコードし
3. 色だけを比較して
4. 違うモノだけ出力
(最終的なコードはコチラ)

13. 使うパッケージ
aeson と yaml
JSON/YAML のデコード/エンコードパッケージ
yaml のベースは aeson
bytestring と text
Haskell の文字列型 その２とその３
unordered-containers
連想配列パッケージ
他にもあると思うけど aeson が使ってるから

14. 使うパッケージ
extensible と lens
今回の目玉パッケージ (ただし lens はオマケ)
Haskell のレコードを扱いやすくしてくれる
(他にも機能はあるんだけど、詳しくは割愛)
-- 普通のレコード
data User = User { id :: Int, name :: String }
-- extensible
type User = Record '[ "id" :> Int, "name" :> String ]
定義は大して変わらないけど...
なぜ標準のレコードが扱いにくいかはココを参照

15. 型
type GitHubLanguage =
Record '[
"type" :> Maybe Text, "aliases" :> Maybe [Text],
"ace_mode" :> Maybe Text, "codemirror_mode" :> Maybe Text,
"wrap" :> Maybe Bool, "extensions" :> Maybe [Text],
"interpreters" :> Maybe [Text], "searchable" :> Maybe Bool,
"language_id" :> Int, "color" :> Maybe Text,
"tm_scope" :> Maybe Text, "group" :> Maybe Text
]
type GitHubLanguages = HashMap Text GitHubLanguage
type FastHubLanguage =
Record '[
"color" :> Maybe Text,
"url" :> Text
]
type FastHubLanguages = HashMap Text FastHubLanguage

16. 型クラス
type C = KeyValue KnownSymbol FromJSON'
instance Forall C xs => FromJSON (Record xs) where
parseJSON = withObject "Object" $
v -> hgenerateFor (Proxy :: Proxy C) $
m -> let k = symbolVal (proxyAssocKey m) in
case HM.lookup (fromString k) v of
Just a -> Field . return <$> parseJSON a
Nothing ->
maybe (fail $ "Missing key: " `mappend` k)
(fmap (Field . return)) $ parseJSON' Nothing
FromJSON 型クラスのインスタンスにすると JSON や
YAML をデコードできる
C 型の制約を満たす Record 型

17. 型クラス
実は前の定義が parseJSON' になってる
YAMLのフィールドが無いときに Nothing にしたい
ので
class FromJSON a => FromJSON' a where
parseJSON' :: Maybe Value -> Maybe (Parser a)
instance FromJSON a => FromJSON' a where
parseJSON' = fmap parseJSON
instance {-# OVERLAPS #-} FromJSON a => FromJSON' (Maybe a) where
parseJSON' = Just . maybe (pure Nothing) parseJSON

18. 関数
main :: IO ()
main = do
[gfp, ffp] <- getArgs
glangs <- Y.decodeEither . fromString <$> readFile gfp
flangs <- eitherDecode . fromString <$> readFile ffp
-- glangs :: Either String GitHubLanguages な点に注意
either print print' $ diff <$> glangs <*> flangs
print' :: HM.HashMap Text (GitHubLanguage, FastHubLanguage) -> IO ()
print' = mapM_ print . HM.toList
diff :: GitHubLanguages -> FastHubLanguages
-> HM.HashMap Text (GitHubLanguage, FastHubLanguage)
diff = undefined

19. 関数
diff :: GitHubLanguages -> FastHubLanguages
-> HM.HashMap Text (GitHubLanguage, FastHubLanguage)
diff glangs flangs =
HM.filter ((a, b) -> not $ eqColor a b) $
HM.mapMaybeWithKey (k v -> (,) v <$> HM.lookup k flangs) glangs
-- mapMaybeWithKey :: (k -> a -> Maybe b) -> Map k a -> Map k b
eqColor ::
( Associate "color" (Maybe Text) xs
, Associate "color" (Maybe Text) xs')
=> Record xs -> Record xs' -> Bool
eqColor lang1 lang2 = lang1 ^. #color == lang2 ^. #color
eqColor a b に a と b の型が同じという制約はない
が， eqColor 関数は可換である

20. 実行

21. いちゃもん(PR)だした
そっこうマージされた(笑)

22. まとめ
Haskell はラフに使っても楽しいよ

23. おしまい