サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
パリ五輪
ryanglscott.github.io
GHC 8.10.1 is slated to be released soon, and among the improvements that it offers is the new StandaloneKindSignatures language extension. Standalone kind signatures (or “SAKS” for short) are like type signatures, except that they describe type-level declarations instead of term-level values. Here is one example of a standalone kind signature that describes the kind of a type synonym: {-# LANGUAG
This post is based off of a talk I gave on March 8, 2019, that was unfortunately not recorded. In lieu of video, I decided to write this blog post so that I could share it with others. The slides of the talk are available here, although you do not need to read them in order to understand this post. I recently implemented a new sort of kind in GHC that you couldn’t write before. Here is one example
The Foreign.Storable module provides a Storable class with two rather unusual methods: class Storable a where sizeOf :: a -> Int alignment :: a -> Int ... What is unusual about sizeOf and alignment? To demonstrate, consider what happens if we look up the sizes of various Int8s: λ> sizeOf (0 :: Int8) 1 λ> sizeOf (1 :: Int8) 1 λ> sizeOf (2 :: Int8) 1 λ> all (\c -> sizeOf c == 1) [minBound..maxBound
We’re drawing closer to a release of GHC 8.2, which will feature a variety of enhancements to GHC’s deriving-related extensions. None of the improvements are particularly revolutionary, and for most code, you won’t notice a difference. But there are quite a few quality-of-life fixes that should make doing certain things with deriving a little less of a hassle. Deriving strategies The largest chang
GHC 8.0 will be released soon, and with it comes many new additions and improvements to the base library. In particular, the API in the GHC.Generics module (and the underlying machinery provided by the DeriveGeneric GHC extension) have undergone quite a few improvements. However, these changes haven’t been very well advertised outside of the GHC dev community, so hopefully this blog post will spre
このページを最初にブックマークしてみませんか?
『ryanglscott.github.io』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く