The need arose when I was writing a full stack web application with PureScript being the frontend and Haskell being the backend. While these two languages are largely similar, the fact that they are different implies that one cannot share the codes directly between them. For all data types defined in Haskell, I have to rewrite them in PureScript. This seemes to be an automatable process so I decided to find a way to let the computer do the work for me! Let’s start with my preferred way of structuring data types in both languages.
PureScript Dealing with data types…
In Functional Programming , we have three terminologies , term , type and kind. Understanding their definitions are crucial to understand functional programming as a practioner.
Terms are runtime values , some examples are
Type is the type of a term, the type of
Int, the type of
Boolean, the type of
String and so on.
Kind is the type of type. For example, the kind of type
Term has type while type has kind.
Let’s start with the simplest data type which is…
FP Enthuasist. Live in Singapore. Works as DevOps Engineer