blob: c24c9a44431f60732e59464ae2d89debca5ec806 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
\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}
|
