Trancón y Widemann, B: The Recursion Schemes of Scientific Models A Multi-Paradigm Study of the Logistic Map in Haskell, Post-Proceedings 1st International Workshop on Trends in Functional Progamming in Education (2012)
Abstract:
The Squiggol approach to recursive algorithms separates computation and recursion scheme. We revisit the idea in a setting of simple but paradigmatic problems in scientific, particularly ecological, modelling. It is demonstrated that each stereotypic modelling task corresponds to a simple and well-understood recursion pattern, and vice versa. The logistic map is used as the running example of a scientific model. The Haskell implementation of the recursion framework and its applications is discussed. Its benefits from the perspective of application, compared with a previous set-theoretic presentation, are numerous: Static typing and higher-order functions promote abstraction and reuse, whereas immediately executable models make interactive approaches, adequate for modelling living systems, easy and convenient. From the perspective of functional programming, the general logic of scientific modelling is summarized in a concise and familiar language, blazing the trail for truly functional, real-world, non-number-crunching, scientific computing. The material presented here can be and has been used to instruct prospective natural scientists on mathematics they are usually not tought, but which are indespensable for understanding the logic of models, most notably recursion theory. It can also be used to demonstrate to functional programmers the deep and scarcely recognized empirical and epistemological implications of both dedicated simulation programs and very abstract formal algorithms.
Aktuelle Termine


BayCEER-Kolloquium:
Do. 18.04.2024
The Canvas of Change: Creative Marketing for Behaviour Change, Sustainability and Social Good
Do. 18.04.2024
Survival, 'dormancy', and resuscitation of microorganisms in water-limited environments: insights from coastal salt flats and desert soil crusts
BayCEER Short Courses:
Di. 16.04.2024
Geographical information system and R environment for conservation biology
Ökologisch-Botanischer Garten:
So. 07.04.2024
Führung | Talking Tree: Was Bäume über´s Klima erzählen
Fr. 19.04.2024
Führung | Gesteine im Ökologisch-Botanischen Garten
Wetter Versuchsflächen
Luftdruck (356m): 951.5 hPa
Lufttemperatur: 10.1 °C
Niederschlag: 5.2 mm/24h
Sonnenschein: 3 h/d

...mehr
Globalstrahlung: 16 W/m²
Lufttemperatur: 4.2 °C
Niederschlag: 4.7 mm/24h
Wind (Höhe 32m): 14.9 km/h

...mehr
Diese Webseite verwendet Cookies. weitere Informationen