自己紹介ページを生成する whoami CLI を作った (Haskell)

name: MATSUBARA Nobutada
account:
  github: matsubara0507
  qiita: matsubara0507
site:
  - name: ひげメモ
    url: http://matsubara0507.github.io
    description: メモ書きブログ
post:
  latest: 10
  posts:
    - url: http://haskell.jp/blog/posts/2017/advent-calendar-2017.html
      date: 2017-12-31
    - url: http://iggg.github.io/2017/06/01/make-tweet-slack-bot
library:
  - name: chatwork
    url: http://hackage.haskell.org/package/chatwork
    description: The ChatWork API in Haskell
    language: haskell
  - name: thank_you_stars
    url: http://hex.pm/packages/thank_you_stars
    language: elixir
qiita:
  posts: true
app:
  - name: AnaQRam
    url: http://github.com/matsubara0507/AnaQRam
    description: QRコードを利用したアナグラム(並び替えパズル)

# MATSUBARA Nobutada
- [GitHub](https://github.com/matsubara0507)
- [Qiita](https://qiita.com/matsubara0507)

## My Sites
- [ひげメモ](http://matsubara0507.github.io)
    - メモ書きブログ

## My Posts
- [Haskell Advent Calendar 2017 まとめ - Haskell-jp](http://haskell.jp/blog/posts/2017/advent-calendar-2017.html)
    - posted on 2017-12-31
- [LINE の Echo Bot を Google Cloud Functions に作る](https://qiita.com/matsubara0507/items/04ab3c2197aa5f68e499)
    - posted on 2017-11-21
- [GitHub にチャット機能のようなものが追加された (team discussions)](https://qiita.com/matsubara0507/items/47d2e2545553e415f969)
    - posted on 2017-11-21
- [GitHub Project に自動でカードのカラム遷移をする機能が追加された](https://qiita.com/matsubara0507/items/f384991b4854aa28745a)
    - posted on 2017-10-31
- [Slack から特定のアカウントでツイートする Bot を作った｜群馬大学電子計算機研究会 IGGG](http://iggg.github.io/2017/06/01/make-tweet-slack-bot)
    - posted on 2017-06-01

## Applications
- [AnaQRam](http://github.com/matsubara0507/AnaQRam)
    - QRコードを利用したアナグラム(並び替えパズル)

## Libraries
- [chatwork](http://hackage.haskell.org/package/chatwork)
    - The ChatWork API in Haskell
- [thank_you_stars](http://hex.pm/packages/thank_you_stars)
    - A tool for starring GitHub repositories.

data Hoge = { hoge1 :: Int, hoge2 :: Text }

type Hoge = Record '[ "hoge1" >: Int, "hoge2" >: Text ]

data Hoge = Hoge1 Int | Hoge2 Text

type Hoge = Variant '[ "hoge1" >: Int, "hoge2" >: Text ]

type ServiceM = Eff
  '[ ReaderDef Config
   , EitherDef ServiceException
   , LoggerDef
   , "IO" >: IO
   ]

withGetOpt
  :: MonadIO m
  => String
  -> RecordOf (OptionDescr h) xs
  -> (RecordOf h xs -> [String] -> m a)
  -> m a

type Config = Record
  '[ "name"    >: Text
   , "account" >: Accounts
   , "site"    >: [SiteConfig]
   , "post"    >: Record '[ "latest" >: Maybe Int, "posts" >: [PostConfig]]
   , "library" >: [LibConfig]
   , "app"     >: [AppConfig]
   , "qiita"   >: QiitaConfig
   ]

type Accounts = Map Text Text
type Url = Text
type Date = Text

type SiteConfig = Record
  '[ "name" >: Text
   , "url"  >: Url
   , "description" >: Text
   ]

type PostConfig = Record
  '[ "title" >: Maybe Text
   , "url"  >: Url
   , "date" >: Maybe Date
   ]

type LibConfig = Record
  '[ "name" >: Text
   , "url"  >: Url
   , "description" >: Maybe Text
   , "language" >: Text
   ]

type AppConfig = Record
  '[ "name" >: Text
   , "url"  >: Url
   , "description" >: Maybe Text
   ]

type Info = Record
  '[ "name" >: Text
   , "url" >: Url
   , "description" >: Text
   , "type" >: ServiceType
   ]

type ServiceType = Variant
  '[ "post" >: Post
   , "app"  >: Application
   , "lib"  >: Library
   , "site" >: Site
   ]

class Uniform a where
  fetch :: a -> ServiceM Data
  fill :: a -> Data -> ServiceM a
  uniform :: a -> ServiceM Info

type Data = Text

toInfo :: Uniform a => a -> ServiceM Info
toInfo conf = uniform =<< fill conf =<< fetch conf

class Service a where
  genInfo :: Proxy a -> ServiceM [Info]