You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
tänkt att vara rolig och muntra upp läsaren. Övningar ligger både i den löpande
28
28
texten och i slutet av kapitlet. Övningarna i den löpande texten innebär oftast
29
29
att läsaren ska implementera en liten del av det aktuella domänspecifika språket
30
-
på egen hand. Det här illustreras i figur~\ref{fig:smakprov_ovning}.
30
+
på egen hand, vilket illustreras i figur~\ref{fig:smakprov_ovning}. Övningarna i slutet av kapitlet innebär ofta större vidareutvecklingsmöjligheter på de domänspecifika språken.
\textit{Vektorer} behandlar vektorer och vektoroperationer. Vektorer modelleras
82
-
som med hjälp av en typklass som dikterar vilka funktioner som varje
83
+
med hjälp av en typklass som dikterar vilka funktioner som varje
83
84
modell av en vektor måste implementera. Generella vektoroperationer såsom
84
-
addition och skalärprodukt implementerades sedan med hjälp av dessa funktioner
85
-
vilket skapade ett mycket generellt och lättanvänt gränssnitt. Quickcheck
85
+
addition och skalärprodukt implementeras sedan med hjälp av dessa funktioner
86
+
vilket skapade ett mycket generellt och lättanvänt gränssnitt. QuickCheck
86
87
användes för att verifiera lagarna som gäller för olika vektoroperationer,
87
88
vilket gav en generell säkerhet kring att implementationerna var korrekta.
88
89
89
-
I läromataterialet finns, förutom de fyra ovanstående grundläggande områdena,
90
-
även tillämpningar av dem på exempelproblem. Till exempel används dimensioner
91
-
till att lösa problem med fritt fall. De tillämpningar som behandlats är
90
+
I \textit{exempelproblem} tillämpas de tre tidigare kapitlena på två vanliga mekanikproblem, nämligen \textit{krafter på lådor} och \textit{gungbräda}. I krafter på lådor används det domänspecifika språket för vektorer till att beräkna de krafter som verkar på en låda som glider ner för ett plan. I grungbräda visas hur momentjämviktsberäkningar kan göras med det domänspecifika språket för dimensioner.
92
91
93
-
\begin{itemize}
94
-
\item Gundbräda
95
-
\item Krafter på lådor
96
-
\end{itemize}
97
-
98
-
\textbf{TODO:} Gör PSSSO\footnote{På Samma Sätt Som Ovan} för de kompisita områdena, dvs skriv
99
-
vad varje handlar om.
100
-
101
-
\textbf{TODO:} \textit{Single particle mechanics}
92
+
\textbf{TODO:} \textit{Partikelmekanik}
102
93
103
-
Läromaterialet blev publicerat på en hemsida\cite{LYAP} och all källkod finns
104
-
tillgänglig på projektets GitHub-repository.\cite{LYAP_repo} Texten är skriven
94
+
Läromaterialet blev publicerat på en hemsida~\cite{LYAP} och all källkod finns
95
+
tillgänglig på projektets GitHub-repository~\cite{LYAP_repo}. Texten är skriven
105
96
på engelska.
106
97
107
-
Förutom de områden som nämnts hittills finns ett antal delvis färdigställda områden, till exempel bevisföring. Den intresserade läsaren hänvisas till projektets GitHub-repository\cite{LYAP_repo}.
98
+
Förutom de områden som nämnts hittills finns ett antal delvis färdigställda områden, till exempel bevisföring. Den intresserade läsaren hänvisas till projektets GitHub-repository~\cite{LYAP_repo}.
108
99
109
100
\section{Utvärderingen med testgruppen}\label{sec:res_test}
110
101
@@ -129,7 +120,7 @@ \section{Möten med fysikläraren}\label{sec:res_ake}
129
120
påpekas att det som är återgivet här självklart har tolkats, och kan ha
130
121
missuppfattats, av projektgruppen. Fäldt ska med andra ord inte behöva stå till
131
122
svars för vad som står här.} Fäldt tyckte att det fanns flera saker
132
-
läromaterialet kunde bidra med. En bra sak var att läromaterialet ger att annat
123
+
läromaterialet kunde bidra med. En bra sak var att läromaterialet ger ett annat
133
124
perspektiv på fysiken, ett annat sätt att förklara den genom att göra det med
134
125
hjälp av domänspecifika språk. En annan bra sak var den rigorösitet som
135
126
domänspecifika språk leder till. Eftersom de domänspecifika språken måste vara
0 commit comments