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
I projektets mål och avgränsningar stod det att vi skulle börja med klassisk
85
-
mekanik, för att i mån av tid även behandla termodynamik och vågrörelselära. Hur långt
86
-
hann vi? I avsnitt~\ref{sec:res_laromaterial} nämns att de tre grundläggande
85
+
mekanik, för att i mån av tid även behandla termodynamik och vågrörelselära. I avsnitt~\ref{sec:res_laromaterial} nämns att de tre grundläggande
87
86
områdena dimensioner, matematisk analys och vektorer är färdiga, samt de
88
87
komposita områdena partikelmekanik, gungbräda och krafter på lådor. Med andra
89
-
ord har mekanik påbörjats, men inte termodynamik eller vågrörelselära. Men hur mycket är
90
-
kvar? Det som återstår enligt oss är att tillämpa de grundläggande områdena på
88
+
ord har mekanik påbörjats, men inte termodynamik eller vågrörelselära. Det som återstår enligt oss när det kommer till mekanik är att tillämpa de grundläggande områdena på
91
89
fler fysikaliska problem utöver gungbräda och krafter på lådor. Vi tror att de
92
90
tre grundläggande områdena som är färdiga räcker. Förutom fler tillämpningar kan
93
91
man utveckla mer fördjupande områden, till exempel bevisföring, något som
Vi knyter här även an till lärandeteorierna i avsnitt \ref{sec:arcs}, som nämnde interaktion och snabba belöningar. Vårt läromaterial har visserligen ingen interaktiv sida, men typsystemet i Haskell skulle ändå tänkas kunna fungera som en fingervisare när man gör rätt eller fel. Det går exempelvis inte att räkna med dimensioner på ett felaktigt sätt, och funktionskomposition fungerar endast om båda funktionernas typdefinitioner (typer på argument och returvärde) stämmer överens. När det kommer till snabba belöningar kan den glädje man ser när koden kompilerar ses som en sådan. Läromaterialet innefattar även strategiskt placerade roliga bilder, för att ge impulsiva glädjereaktioner.
112
110
113
-
Vem är detta läromaterial relevant för? Visserligen är målgruppen datastudenter, och vi har personligen dragit nytta av det,
111
+
Läromaterialet kan vara relevanta för flera grupper. Visserligen är målgruppen datastudenter, och vi har personligen dragit nytta av det,
114
112
men vi tror att det kan vara relevant för fler än så, till exempel kan läromaterialet även vara intressant för fysiklärare. Fäldt nämnde att han
115
113
tyckte att det rigorösa tankesätt läromaterialet skolar in läsaren i kan vara
116
114
användbart även i traditionell fysikundervisning. Det kan därför vara intressant att undersöka hur ett sådant här läromaterial kan
@@ -131,8 +129,7 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
131
129
132
130
Målet med läromaterialet var att lära ut fysik på ett roligt och lättförståeligt
133
131
sätt. Dock syns det i resultatet, avsnitt~\ref{sec:res_laromaterial}, att det
134
-
stora fokuset lagts på att förklara och lära ut matematik och Haskell. Varför
135
-
blev det så? Vi menar att det finns flera anledningar till detta.
132
+
stora fokuset lagts på att förklara och lära ut matematik och Haskell. Vi menar att det finns flera anledningar till att ett stort fokus lagts på matematik och Haskell.
136
133
137
134
Problemet med att prata om en egen implementation av fysik är att fysik inte är
138
135
ett helt eget område. Det är snarare så att fysik kan ses som tillämpad
@@ -166,8 +163,7 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
166
163
parallellerna mellan funktionell programmering, matematik och implementationen
167
164
av fysik.
168
165
169
-
Vi hävdar alltså att fokuset lagts på mer än bara fysik av två skäl: att fysik är tillämpad matematik och att det är viktigt att förklara de Haskell-koncept som används. Men måste
170
-
det vara så? Det kan mycket väl vara så att detta fokusskifte har skett på grund
166
+
Vi hävdar alltså att fokuset lagts på mer än bara fysik av två skäl: att fysik är tillämpad matematik och att det är viktigt att förklara de Haskell-koncept som används. Det måste däremot inte vara så. Det kan mycket väl vara så att detta fokusskifte har skett på grund
171
167
av hur vi valde att genomföra projektet. I ett tidigt skede valde vi att söka efter
172
168
områden som vi ansåg vara fristående och väl avgränsade, se avsnitt~\ref{sec:valet},
173
169
och implementera dessa var för sig. Utan tvekan har detta sätt att påbörja
@@ -176,17 +172,15 @@ \subsection{Om läromaterialets fokus på matematik och Haskell snarare än
176
172
inte varit lika främmande att även baka in problemlösning i läromaterialet och på så sätt
177
173
fått mer fysikorienterade domänspecifika språk.
178
174
179
-
Men det går det att vara kritisk till projektets utformningredan i ett tidigare
180
-
skede. Varför
181
-
valdes Haskell som implementationsspråk? Vi hävdar i teorin~\ref{sec:syntax} att
175
+
Men det går det att vara kritisk till projektets utformning redan i ett tidigare
176
+
skede. En aspekt är valet av Haskell. Vi hävdar i teorin~\ref{sec:syntax} att
182
177
Haskells typer och fokus på mönstermatchning gör det idealt för implementering
183
-
av domänspecifika språk. Men betyder det att det är idealt för implementering
184
-
av fysik? Kanske hade ett objektorienterat språk som Java passat bättre. Att
178
+
av domänspecifika språk, vilket inte nödvändigtvis betyder att det är idealt för implementering av fysik. Det är möjligt att ett objektorienterat språk som Java hade passat bättre. Att
185
179
använda ett språk som inte har en lika stark koppling till ren matematik som
186
180
Haskell hade kanske lett till att fokuset inte legat på matematiken
187
181
bakom fysiken, utan istället på fysiken framför matematiken.
188
182
189
-
\subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
183
+
\subsection{Passande områden för domänspecifika språk}\label{sec:lampligt}
190
184
191
185
Under genomförandet av projektet utfördes flera experiment för att bedöma olika
192
186
områdens lämplighet för att modelleras med ett domänspecifikt språk. Det visade
@@ -272,8 +266,7 @@ \subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
272
266
implementation kanske sett helt annorlunda ut.
273
267
274
268
I kontrast till dessa lämpliga områden står mindre lämpliga områden (eller
275
-
åtminstone områden som vi inte lyckades göra något bra av). Lutande plan är ett exempel på ett mindre lämpligt område. Vad har detta område för drag som gör det mindre
276
-
lämpat för ett domänspecifika språk?
269
+
åtminstone områden som vi inte lyckades göra något bra av). Lutande plan är ett exempel på ett mindre lämpligt område. Områden av detta slag har drag som gör det mindre lämpligt än exempelvis vektorer.
277
270
278
271
När man skapar ett domänspecifikt språk till ett område gör man det genom att
279
272
identifiera syntaxen som används, datan som modelleras,
@@ -324,12 +317,9 @@ \subsection{Vilka områden passar domänspecifika språk?}\label{sec:lampligt}
324
317
områden (som blev komposita) kunde behandlas som tillämpningar av de
325
318
grundläggande områdena.
326
319
327
-
\subsection{Gör domänspecifika språk att fysik blir mer lättförståeligt?}\label{sec:bara_fysik}
320
+
\subsection{Domänspecifika språk, fysik och pedagogiska aspekter}\label{sec:bara_fysik}
328
321
329
-
Är det pedagogiskt att lära ut fysik genom att presentera den med hjälp av
330
-
domänspecifika språk? Väcker det intresse för fysik? Tillförde de domänspecifika
331
-
språken något i detta läromaterial eller hade det varit bättre att enbart hålla
332
-
sig till fysik? Dessa tre frågor diskuteras nedan.
322
+
En del av projektets mål är att diskutera huruvida det finns en pedagogisk nytta i att kombinera fysik och domänspecifika språk. Denna fråga diskuteras nedan.
333
323
334
324
Domänspecifika språk kan betraktas som ``tools for thinking''\footnote{Uttryckt i Patrik Janssons egna ord, han är föreläsare i DSLsofMath-kursen.}. Med det menas att domänspecifika språk kan användas
335
325
till att strukturera ett område så att det blir enklare att få en överblick och
@@ -389,10 +379,7 @@ \subsection{Gör domänspecifika språk att fysik blir mer lättförståeligt?}\
389
379
Projektets läromaterial är ett exempel på ett sådant försök. Men läromaterialet
390
380
har även haft två andra drag förutom domänspecifika språk, som skiljer sig från
391
381
traditionell fysikundervisning, nämligen ett lättillgängligt språk och en
392
-
nogrann genomgång av koncepten. Hade inte detta räckt? Hade inte fysiken i sig
393
-
kunnat förklarats bättre om den haft allt fokus?
394
-
395
-
Vi tror att svaret på båda dessa frågor är ja, med vissa reservationer. Ett
382
+
nogrann genomgång av koncepten. Genom att enbart ha fokus på fysik är det möjligt att fysiken i sig hade kunnat förklarats bättre än vad den gör nu. Ett
396
383
läromaterial om renodlad fysik med ett lättsamt språk och nogrann förklaring av
397
384
koncepten hade säkert varit uppskattat. Khan Academy är ett sådant
398
385
exempel~\cite{khan} och som är mycket uppskattat. En annan fördel hade varit att en större målgrupp kan nås.
0 commit comments