\documentclass[a4paper]{article} \usepackage[dutch]{babel} \usepackage{geometry} \usepackage[hidelinks]{hyperref} \title{Academisch Schrijven\\\large{Opdracht 6}} \author{Camil Staps} \begin{document} \maketitle \section*{Tijdschrift} Ik wil een artikel voor het \emph{Journal of Functional Programming}\footnote{\url{http://journals.cambridge.org/action/displayJournal?jid=JFP}} schrijven. Specifiek wil ik een \emph{Functional Pearl}\footnote{\url{http://journals.cambridge.org/action/displaySpecialPage?pageId=660\#WhatsortofpapersdoesJFPpublish?}} schrijven: \begin{quote} Functional Pearls are short (typically 4-10 pages), well-rounded papers describing some clever programming idea. \end{quote} \section*{Doel van schrijven} Ik wil aangeven wat de voordelen van het gebruiken van een pure functionele taal zijn bij het schrijven van een interpreter of compiler voor een imperatieve taal. Het doel is dat de lezer eerder naar pure functionele talen gaat kijken, wanneer hij zo'n applicatie nodig heeft. De voordelen van het gebruik van een functionele taal zijn onder meer abstractieniveau, bewijsbaarheid en een simpeler verband tussen de semantiek van de taal en de implementatie. \section*{Doelgroep} Ik zal er van uit gaan dat de lezer bekend is met de principes van functionele talen (hogere orde functies, luie evaluatie, monads). Ik zal Clean syntax gebruiken, maar wil er niet van uit hoeven gaan dat de lezer Clean kent. Hierom zullen sommige functies uit de standaardbibliotheken nader toegelicht moeten worden. Waarschijnlijk zal het artikel een case study worden. Ik zal dan een simpele, minimale taal nemen (bijvoorbeeld While), zodat die in het artikel toegelicht kan worden waar nodig, en voorkennis van de taal niet nodig is. \section*{Doel van lezen} Lezers zouden dit artikel moeten lezen wanneer ze een systeem moeten bouwen dat op hoog niveau over een taal kan redeneren. Idealiter is de lezer nog in een vroeg stadium van de ontwikkeling, waardoor er nog een keuze kan worden gemaakt tussen het gebruik van een functionele of een imperatieve taal. Het publiek heeft al een notie van de eigenaardigheden van de taal waar het systeem mee moet werken, waardoor het mijn artikel aan hun werk kan relateren. \end{document}