Vulnerability modelling with functional programming and dependent types

摘要

We present an interdisciplinary effort in the field of global environmental change, related tornthe understanding of the concept of ‘vulnerability’. We have used functional programming torncapture the generic aspects of the myriad of definitions of vulnerability, and have used thernresulting formalization to learn something new about vulnerability and to write some betterrnsoftware for vulnerability assessment. In the process, we have also found out somethingrnabout formalization in general, about the advantages and disadvantages of dependent types,rnand about the role of computing science in the larger intellectual landscape.