typeclassの検索結果1 - 2 件 / 2件

• あとで読む

  An introduction to typeclass metaprogramming

  • 15 users
  • lexi-lambda.github.io
  • テクノロジー
  • 2021/03/25

  Typeclass metaprogramming is a powerful technique available to Haskell programmers to automatically generate term-level code from static type information. It has been used to great effect in several popular Haskell libraries (such as the servant ecosystem), and it is the core mechanism used to implement generic programming via GHC generics. Despite this, remarkably little material exists that expl

  • Haskell
  • HotEntry
  • あとで読む
  • プログラミング
• あとで読む

  Functor Typeclass in Haskell

  • 4 users
  • serokell.io
  • テクノロジー
  • 2022/07/29

  You might already know the map function: map :: (a -> b) -> [a] -> [b] map _ [] = [] map f (x:xs) = f x : map f xs > map (\x -> x + 1) [1, 2, 3] [2, 3, 4] It takes a function of type a -> b and applies it to each element of a list. The elements change, but the data type storing them ([]) remains the same. In this article, we’ll call such a data type with another type inside it a context. Transform

  • Haskell
  • プログラミング