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 this is only good up to a certain limit precision. I could even write an infinite sequence of fractions which converge to the rational number; yet, in the end, I will have wasted a lot of effort. Indeed,
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, there is something fundamentally interesting in designing a language of any kind. It’s even more interesting and gratifying when people actually start exercising those languages to create non-trivial software systems. As a user, I love to use programming languages that I haven’t used before, even when the languages in question make me curse every other line.