PROGRAMMING IN HASKELL

DESCRIPCION

Se describe un método para profundizar en la comprensión de un estudiante de física básica pidiendo al alumno a expresar ideas físicas en un lenguaje de programación funcional. El método se implementa en un curso de segundo año en la física computacional en Lebanon Valley College . Sostenemos que la estructura de la mecánica newtoniana se aclara en su expresión en una lengua ( Haskell ) que soporta higherorder funciones , tipos y clases de tipos . En teoría electromagnética , las firmas de tipo de funciones que calculan campos eléctricos y magnéticos expresan claramente la dependencia funcional de la carga y distribuciones de corriente que producen los campos. Muchas de las ideas de la física básica están bien capturados por un tipo o una función

CONTENIDO