Typelevel | Higher-kinded types: the difference between giving up, and moving forward
Higher-kinded types: the difference between giving up, and moving forward As its opening sentence reminds the reader—a point often missed by many reviewers—the book Functional Programming in Scala is not a book about Scala. This [wise] choice occasionally manifests in peculiar ways. For example, you can go quite far into the book implementing its exercises in languages with simpler type systems. C
Typelevel | Typelevel Scala and the future of the Scala ecosystem
tl;dr Typelevel is forking Scala; we call on all stakeholders in the Scala ecosystem to collaborate on the creation of an independent, non-profit, open source foundation to safeguard the interests of the entire Scala community. Last week I tweeted the following question: How much interest would there be in a community sponsored fork of the #Scala toolchain? RTs and fav's please. — Miles Sabin (@mi
Typelevel | An Intro to Generic Numeric Programming with Spire
In this post I’d like to introduce you to what I have been calling generic numeric programming. What is Generic Numeric Programming? What do we mean by generic numeric programming? Let’s take a simple example; we want to add 2 numbers together. However, we don’t want to restrict ourselves to a particular type, like Int or Double, instead we just want to work with some generic type A that can be ad
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
