Systems demonstration

Kiwamu Okabe, Takayuki Muranushi
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
Most strongly typed, functional programming languages are not equipped with a reentrant garbage collector. Therefore such languages are not used for operating systems programming, where the virtues of types are most desired. We propose the use of Context-Local Heaps (CLHs) to achieve reentrancy, which also increasing the speed of garbage collection. We have implemented CLHs in Ajhc, a Haskell compiler derived from jhc, rewritten some NetBSD sound drivers using Ajhc, and benchmarked them. The
more » ... ntrant, faster garbage collection that CLHs provide opens the path to typeassisted operating systems programming.
doi:10.1145/2633357.2633370 dblp:conf/haskell/OkabeM14 fatcat:pwkqopp7rjcfjajxylxzfht4ee