The 1.0.0 of Idris has been released just a few months back, just enough to start trying out the language and some of the possibilities dependent typing offers. But this post is not about dependent typing. There is already a really good book that came out this year, named Type Driven Development with Idris, exploring the benefits (and trade-offs) of dependent typing. I highly recommend you to read
Practical Dependent Types: Type-Safe Neural Networks Justin Le https://blog.jle.im (justin@jle.im) Lambdaconf 2017, May 27, 2017 Preface Slide available at https://talks.jle.im/lambdaconf-2017/dependent-types/dependent-types.html. All code available at https://github.com/mstksg/talks/tree/master/lambdaconf-2017/dependent-types. Libraries required: (available on Hackage) hmatrix, singletons, MonadR
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く