Pure and Lazy Lambda Mining: An Experience Report
| Autor: | Wouter Swierstra, Jeroen Bransen, José Pedro Magalhães, Nicolas Wu |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
Functional programming
Computer science Programming language business.industry Concurrency Exception handling ICFP Programming Contest Software_PROGRAMMINGTECHNIQUES Data structure computer.software_genre Code refactoring TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Haskell business computer computer.programming_language Agile software development |
| Zdroj: | Implementation and Application of Functional Languages ISBN: 9783642415814 |
| Popis: | This paper discusses our entry to the 2012 ICFP Programming Contest, written entirely in Haskell. Our solution uses many features of Haskell: pure immutable data structures, laziness, higher-order functions, concurrency, and exception handling. Each of these features plays an essential part in our overall solution, and we demonstrate how these key elements can be composed together. In this exposition, we stress the importance of how the code was structured in such a way that made safely refactoring and extending the model a relatively easy task, and how Haskell’s strong type system made it possible for our team to remain agile under changing specifications. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|