Stay updated with breaking news from Template Haskell. Get real-time updates on events, politics, business, and more. Visit us for reliable news and exclusive interviews.
.png)
Extend your Template Haskell knowledge by learning about typed Template Haskell, a part of TH that lets you provide stronger, static guarantees about the correctness of your meta-programs.
Data Model-driven application development requires writing lots of boilerplate code and is error prone and difficult to maintain. We are exploring the ways to have a better approach to it by using a more powerful Type System than current mainstream languages provide. Write your Pure Types once, get Persistence and UI layers.
Introduction to continued fractions Let’s start with a challenge. Assume I know how to write down an integer. Now, how can I write down a real number? In school, we’ve all learned a few answers to this question. The big two are fractions and decimals. Fractions have simple forms for rational numbers. Just write two integers, for the numerator and denominator. That’s great! But alas, they are no good at all for irrational numbers like pi, or the square root of 2. I could, of course, write a fraction that’s close to the irrational number, such as 22/7 as an approximation of pi. But th...
Is there still research to be done in Programming Languages? This essay touches both on the topic of programming languages and on the nature of research work. I am mostly concerned in analyzing this question in the context of Academia, i.e. within the expectations of academic programs and research funding agencies that support research work in the STEM disciplines (Science, Technology, Engineering, and Mathematics). This is not the only possible perspective, but it is the one I am taking here. PLs are dear to my heart, and a considerable chunk of my career was made in that area. As a designer...