Abstract
A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the information of the type and the property that should be satisfied, this algorithm is able to find automatically the shortest Haskell program using the set of function components (or library) configured beforehand, and there is no need to design the library every time one requests a new functional program.
According to the presented experiments, programs consisted of several function applications can be found within some seconds even if we always use the library designed for general use. In addition, the proposed algorithm can efficiently tell the number of possible functions of given size that are consistent with the given type, and thus can be a tool to evaluate other methods like genetic programming by providing the information of the baseline performance.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Augusteijn, L.: Sorting Morphisms. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol. 1608, pp. 1–27. Springer, Heidelberg (1999)
Field, A.J., Harrison, P.G.: Functional Programming. Addison-Wesley, Reading (1988)
Hudak, P., Fasel, J.H.: A gentle introduction to Haskell. SIGPLAN Notices 27(5), T1–T53 (1992)
Jones, M.P.: Typing Haskell in Haskell. In: Proc. of the 1999 Haskell Workshop (1999)
Katayama, S.: Implementing a breadth-first search algorithm for strongly typed inductive functional programming. In: The 2004 International Conference on Functional Programming (2004) (submitted to)
Olsson, R.: Inductive Functional Programming Using Incremental Program Transformation. Research report 189, Doctor scientiarum thesis, University of Oslo (1994)
Spivey, M.: Combinators for breadth-first search. J. Functional Programming 10(4), 397–408 (2000)
Yu, T.: Polymorphism and genetic programming. In: Proc. of Fourth European Conference on Genetic Programming (2001)
Yu, T., Clack, C.: PolyGP: A polymorphic genetic programming system in Haskell. In: Genetic Programming 1998: Proc. of the Third Annual Conference, pp. 416–421 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Katayama, S. (2004). Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation. In: Zhang, C., W. Guesgen, H., Yeap, WK. (eds) PRICAI 2004: Trends in Artificial Intelligence. PRICAI 2004. Lecture Notes in Computer Science(), vol 3157. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28633-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-28633-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22817-2
Online ISBN: 978-3-540-28633-2
eBook Packages: Springer Book Archive