Abstract
Recent years has seen the development of profiling tools for lazy functional language implementations. This paper presents the results of using a time profiler to profile the Glasgow Haskell compiler. So far as we know ghc is the only lazy functional language compiler to support source-level time profiling. The benefits of having such a tool can be spectacular, as this paper demonstrates.
The author gratefully acknowledges the support of the Commonwealth Scholarship Commission.
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.
Bibliography
C Clack, S Clayman & D Parrott, “Lexical Profiling: Theory and Practice,” Dept of Computer Science, University College London, April 1993, Submitted to Journal of Functional Programming.
K Hammond, “Efficient type inference using monads,” in Functional Programming, Glasgow 1991, R Heldal, CK Hoist & P Wadler, eds., Springer-Verlag, Workshops in Computing, Portree, Scotland, Aug 1991.
J Launchbury, “Lazy imperative programming,” in Proceedings of ACM Sig-plan Workshop on State in Programming Languages, Copenhagen (available as YALEU/DCS/RR-968, Yale University), June 1993, 46–56.
SL Peyton Jones, “Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine,” Journal of Functional Programming 2(Apr 1992), 127–202.
SL Peyton Jones, CV Hall, K Hammond, WD Partain & PL Wadler, “The Glasgow Haskell compiler: a technical overview,” in Joint Framework for Information Technology Technical Conference, Keele, March 1993.
C Runciman & D Wakeling, “Heap profiling of lazy functional programs,” Journal of Functional Programming 3 (April 1993).
C Runciman & D Wakeling, “Problems and proposals for time and space profiling of functional programs,” in Functional Programming, Glasgow 1990, SL Peyton Jones, G Hutton & CK Holst, eds., Springer-Verlag, Workshops in Computing, Ullapool, Scotland, Aug 1990.
C Runciman & D Wakeling, “Heap profiling of a lazy functional compiler,” in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Springer-Verlag, Workshops in Computing, Ayr, Scotland, July 1992.
PM Sansom & SL Peyton Jones, “Profiling lazy functional programs,” in Functional Programming, Glasgow 1992, J Launchbury & PM Sansom, eds., Springer-Verlag, Workshops in Computing, Ayr, Scotland, July 1992.
PM Sansom & SL Peyton Jones, “Generational garbage collection for Haskell,” in Functional Programming Languages and Computer Architecture, Copenhagen, ACM, June 1993.
J Sparud, “Fixing some space leaks without a garbage collector,” in Functional Programming Languages and Computer Architecture, Copenhagen, ACM, June 1993.
PL Wadler, “Comprehending Monads,” in 1990 ACM Conference on Lisp and Functional Programming, Nice, France, June 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this chapter
Cite this chapter
Sansom, P.M. (1994). Time Profiling a Lazy Functional Compiler. In: O’Donnell, J.T., Hammond, K. (eds) Functional Programming, Glasgow 1993. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3236-3_20
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3236-3_20
Publisher Name: Springer, London
Print ISBN: 978-3-540-19879-6
Online ISBN: 978-1-4471-3236-3
eBook Packages: Springer Book Archive