ruiccのブックマーク / 2016年10月10日

ruicc id:ruicc

2016年10月10日のブックマーク (4件)

Web over HTTPS
Web over HTTPS DevFest Tokyo 2016 #devfest16 2016/10/0
ruicc 2016/10/10
リンク
Try Backpack: ghc --backpack : Inside 736-131
ruicc 2016/10/10
backpackがHEADに入ったらしい。予想より早かった
リンク
ラムダの魔法使い～純粋関数型プログラマーの異世界転生
純粋関数型プログラミング言語、ハスケル（Haskell）を愛するプログラマーの藤沢奈都が飛行機事故で異世界に転生した。そこで魔法の才能に恵まれ、プログラムで魔法を制御する技術を確立することに成功した。そんな中、王都に忍び寄る不気味な影が……。作品を読むうえでハスケルの知識はなくてもよいですが、あればより深く楽しめる内容になっています。ストーリーは本格的な異世界ファンタジーです。この小説は小説家になろうとカクヨムに投稿しています。
ruicc 2016/10/10
プログラマによるプログラマの異世界転生もの小説。なかなか面白い。
リンク
Refinement Reflection on ADTs: Lists Are Monoids - LiquidHaskell
ruicc 2016/10/10
リンク
- 2016年10月11日
- 2016年10月10日
- 2016年10月9日