Login Register
Login Register

A Short overview of typed template Haskell

Typed TH, as the name implies, allows us to provide stronger, static guarantees about the correctness of the meta-program. With untyped TH, the generated expressions would be type-checked when they are spliced.

Rate

0 out of 5 stars(0 ratings)
Visit Website

Leave a Reply

Related

Haskell with UTF-8

Please, consider using UTF-8 and with-utf8 in your next project, update your old projects, re-export it from your custom prelude, send a link to UTF-8 Everywhere and this blog post to your colleagues and friends, report and fix encoding-related bugs in Haskell tools that you are using

  • 0
  • 15

Algebraic data types in Haskell

Most programming languages have a way to make compound data types. In Haskell, we can do that via algebraic data types. Even though the name might sound scary at first, it’s simply a way to construct types. This article will introduce you to the concept of algebraic data types and show you how to use […]

  • 0
  • 16

Dimensions and Haskell: singletons in action

This is a fantastic blog introducing you to dimensions and matrices in Haskell. In this part, we describe our approach to the matrix data type that is parameterised via its numbers of columns and rows.

  • 0
  • 22

The internet is huge. Help us find great content!

About

We design learning experiences that help you grow.

Navigation
Follow

Submit