File:Tfpie2014 submission 6.pdf

2014-05-26T16:00:02Z

ScottWalck: uploaded a new version of "File:Tfpie2014 submission 6.pdf": Fixed a footnote.

We describe a method for deepening a student’s understanding of basic physics by asking the student to express physical ideas in a functional programming language. The method is implemented in a second-year course in computational physics at Lebanon Valley College. We argue that the structure of Newtonian mechanics is clarified by its expression in a language (Haskell) that supports higher order functions, types, and type classes. In electromagnetic theory, the type signatures of functions that calculate electric and magnetic fields clearly express the functional dependency on the charge and current distributions that produce the fields. Many of the ideas in basic physics are well-captured by a type or a function.

TFPIE2014

2014-05-26T15:50:50Z

ScottWalck: /* Preliminary program */

== TFPIE 2014 ==
TFPIE 2014 is the third International Workshop on Trends in Functional Programming in Education. It is co-located with TFP 2014 which is held in Soesterberg, at the 'Kontakt der Kontinenten' hotel in The Netherlands.
For more information, consult [http://www.cs.uwyo.edu/~jlc/tfpie14/ the current home page of TFPIE 2014].

=== Preliminary program ===
Below you can find the preliminary program of TFPIE 2014.

[[8:30 - 9:00]] registration + welcome

[[9:00 - 10:00]] '''invited talk Johan Jeuring: Automatic tutoring and assessing functional programs'''

[[10:00 - 10:15]] break

'''Session I: Pedagogical tooling''' [chair: Prabhakar Ragde]

[[10:15 - 10:35]] '''Bricklayer: An authentic introduction to the FPL SML''' [''Victor Winter''] [[:File:tfpie2014_submission_1.pdf|PREPRINT]]

[[10:35 - 10:55]] '''Evaluating Haskell expressions in a tutoring environment''' [''Tim Olmer, Bastiaan Heeren, Johan Jeuring''] [[:File:tfpie2014_submission_4.pdf|PREPRINT]]

[[10:55 - 11:15]] '''Report on a User Test and Extension of a Type Debugger for Novice Programmers''' [''Yuki Ishii, Kenichi Asai''] [[:File:tfpie2014_submission_10.pdf|PREPRINT]]

[[11:15 - 11:30]] break

'''Session II: Teaching Mathematical Structure''' [chair: Jurriaan Hage]

[[11:30 - 11:50]] '''Course on a Mathematical Presentation of Functional Programming''' [''Alvaro Tasistro, Juan Michelini, Nora Szasz''] [[:File:tfpie2014_submission_13.pdf|PREPRINT]]

[[11:50 - 12:10]] '''Calculational Presentation of Propositional Tableaux''' [''Juan Michelini, Alvaro Tasistro''] [[:File:tfpie2014_submission_15.pdf|ABSTRACT]]

[[12:10 - 12:30]] '''Functional Automata: Software Support for Formal Languages Courses''' [''Marco T. Morazán, Rosario Antunez''] [[:File:tfpie2014_submission_14.pdf|PREPRINT]], [[:File:FSM.pdf|SLIDES]]

[[12:30 - 13:45]] lunch

'''Session III: Topics from the Physical World''' [chair: Pieter Koopman]

[[13:45 - 14:05]] '''Hardware design using Haskell and ClaSH''' [''Rinse Wester, Jan Kuper, Christiaan Baaij''] [[:File:tfpie2014_submission_9.pdf|PREPRINT]]

[[14:05 - 14:25]] '''The Sprockell''' [''Jan Kuper''] [[:File:tfpie2014_submission_11.pdf|PREPRINT]], [[:File:tfpie2014_submission_11_slides.pdf|SLIDES]]

[[14:25 - 14:45]] '''Learn Physics by Programming in Haskell''' [''Scott Walck''] [[:File:tfpie2014_submission_6.pdf|PREPRINT]], [[:File:LearnPhysics.pdf|SLIDES]]

[[14:45 - 15:00]] break

'''Session IV: Teaching Computer Science Topics (other than FP)''' [chair: Marco Morazán]

[[15:00 - 15:20]] '''Teaching the Construction of Domain Specific Languages''' [''Pieter Koopman, Rinus Plasmeijer''] [[:File:tfpie2014_submission_12.pdf|PREPRINT]]

[[15:20 - 15:40]] '''Teaching Software Architecture Using Haskell''' [''Alejandro Serrano''] [[:File:tfpie2014_submission_5.pdf|PREPRINT]]

[[15:40 - 16:00]] '''Simple Balanced Binary Search Trees''' [''Prabhakar Ragde''] [[:File:tfpie2014_submission_8.pdf|PREPRINT]]

[[16:00 - 16:15]] break

'''Session V: Education Formats''' [chair: Johan Jeuring]

[[16:15 - 16:35]] '''Course Postmortem: Teaching Haskell to Large Groups''' [''Jurriaan Hage, Ruud Koot''] [[:File:tfpie2014_submission_7.pdf|PREPRINT]]

[[16:35 - 16:55]] '''Flipped Graduate Classroom in a Haskell-based Software Testing Course''' [''Jan van Eijck, Vadim Zaytsev''] [[:File:tfpie2014_submission_16.pdf|PREPRINT]], [http://grammarware.net/slides/2014/tfpie.pdf SLIDES]

[[16:55 - 17:10]] break

[[17:10 - 17:55]] '''plenary discussion''' [chair: Philip Hölzenspies]

[[17:55 - 18:00]] close

=== Invited Speaker ===
It is our pleasure that [http://www.staff.science.uu.nl/~jeuri101/homepage/ Johan Jeuring] has accepted our invitation to give an invited talk! Johan Jeuring is professor of Software Technology for Learning and Teaching at Utrecht University (Institute of Information and Computing Sciences) and professor of Software Technology at the Open University (School of Computer Science). The subject of his presentation is: Automatic tutoring and assessing functional programs.

File:LearnPhysics.pdf

2014-05-26T15:49:10Z

ScottWalck: Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014.

Slides from the talk "Learn Physics by Programming in Haskell" at TFPIE 2014.

tfpie - User contributions [en]

File:Tfpie2014 submission 6.pdf

TFPIE2014

File:LearnPhysics.pdf