Abusing Haskell dependent types to make Redis queues safer

テクノロジーカテゴリーの変更を依頼記事元:

medium.com/@zyxoas

4 usersがブックマークコメント

コメント

0

記事へのコメント0件

注目コメント
新着コメント

新着コメントはまだありません。
このエントリーにコメントしてみましょう。

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

Abusing Haskell dependent types to make Redis queues safer

I don’t know about you, but quite frankly I’m tired of seeing the same tired vector example being... I don’t know about you, but quite frankly I’m tired of seeing the same tired vector example being used to demonstrate why dependent types are useful. Recently, I had the opportunity to use current Haskell’s dependently-typed facilities to solve a somewhat contrived, yet real-world probl em. Below I will go through the steps I took in moving from an untyped free-for-all to having GHC reject more bad

Haskell

ブックマークしたユーザー

igrep2018/05/30
Hiro_Matsuno2017/09/02
xef2017/08/22

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

設定を変更しましたx