ひげ さんはインスタンス qiitadon.com のユーザーです。アカウントさえ持っていればフォローしたり会話したりできます。 もしお持ちでないなら こちら からサインアップできます。

1. わりと自由な入社前研修(自分で課題を決めるタイプ)で Haskell をする
2. 成果報告スライドに Haskell の素晴らしさを書く
3. 社内イベントでの新卒自己紹介で「スライドが良い出来なので見て」と言う
4. 社内に Haskeller が増える(願望)

Coq にモナド載せて、の話を聞いて絶句してる
github.com/akr/monadification

昨晩、ニコ動の動画配信プログラムのある部分の安全性を Coq で証明したって話聞いて、Coq の機運が高まっている

学会で好きなライブラリの作者に会えたので「ファンです!」と言ってきた

shift/reset を持つ依存型言語

Haskell で do 記法禁止って、拡張可能タングル使えってことじゃね?(ちがう)

tech.nikkeibp.co.jp/it/atcl/wa

拡張可能タングルでDo記法レスプログラミング (Haskell) - ひげメモ
matsubara0507.github.io/posts/

何やってるんだおれ

fizzbuzz :: Int -> String
fizzbuzz = flip maybe id <$> show <*> foldl1 mappend . map fst . filter snd . flip map [(Just "Fizz", 3), (Just "Buzz", 5), (Nothing, 1)] . fmap . (fmap (== 0) . mod)

使ってた CLI ツールが Windows + 日本語環境でバグってたので直して PR 送ってたら、リポジトリに Push 権限のある Collaborater に招待された。
初めてのことだし意図が分からず困惑したけど、Issue にメッセが書いてあった ^^
github.com/lwm/tasty-discover/

Qiita API に Contribution を取得する方法ないのか...

Haskell の
main=(>>)<$>putStr<*>print$"main=(>>)<$>putStr<*>print$"

「Issue とかのラベルに emoji と description が書けるようになったよ 」
twitter.com/github/status/9664

なんで Reddit に登録したんだよ(笑)
reddit.com/r/haskell/comments/

※ Java にジェネリクスを導入した人です

昨日の「Javascript は括弧と継続をなくし、Java っぽい構文とプロトタイプベースのOOPを加えたScheme」って話面白かった

ひげ さんがブースト

たしかに、動的型付け言語や、C++ や Java のような型推論が(変数宣言ぐらいにしか)無い言語から来た人には型推論の匙加減って難しいのかな。
慣れてくると、このくらい型注釈を与えてあげれば推論できそうだなって型推論を推論できるようになるけども。

f = pure のくだり、難しいのは Monad ではなくて型推論では?
cpplover.blogspot.jp/2018/02/b

extensible variants に関する記事を書きました。
matsubara0507.github.io/posts/

これ結構便利で、アドホック多相を用いてバリアント型のラベル付けされた各型の関数を定義しとけば、バリアント型の関数も自動で定義される(はず)。

クックパッドすごいな、このインターンいけば、就活で「インターンで何をしたんですか?」「超絶技巧プログラミングです」っていう会話ができる。
internship.cookpad.com/2018/sp