Chapter 12: Extensible and Modular Generics for the Masses

Oliveira, Bruno C. d. S.; Hinze, Ralf; Löh, Andres
September 2007
Trends in Functional Programming Volume 7;2007, Vol. 7, p199
Book Chapter
A generic function is a function that is defined on the structure of data types: with a single definition, we obtain a function that works for many data types. In contrast, an ad-hoc polymorphic function requires a separate implementation for each data type. Previous work by Hinze on lightweight generic programming has introduced techniques that allow the definition of generic functions directly in Haskell. A severe drawback of these approaches is that generic functions, once defined, cannot be extended with ad-hoc behaviour for new data types, precluding the design of an extensible and modular generic programming library based on these techniques. In this paper, we present a revised version of Hinze's Generics for the masses approach that overcomes this limitation. Using our new technique, writing an extensible and modular generic programming library in Haskell 98 is possible.


Related Articles

  • MOBILITY BASED CHECKPOINTING AND TRUST BASED RECOVERY IN MANET. Biswas, Suparna; Neogy, Sarmistha; Dey, Priyanka // International Journal of Wireless & Mobile Networks;Aug2012, Vol. 4 Issue 4, p53 

    Proposed work is a mobility based checkpointing and trust based rollback recovery algorithm to provide fault tolerance in Mobile Ad hoc Network (MANET). Here each mobile host maintains a count of number of clusters a mobile host traverses through, during a single checkpoint interval. A mobile...

  • Chapter 2: Generic Proofs for Combinator-based Generic Programs. Reig, Fermín // Trends in Functional Programming Volume 5;2006, Vol. 5, p17 

    Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated at many types. Reasoning about programs that use type classes does not enjoy the benefits of generic reasoning, as it requires...

  • How do I get my Canon printer back on my wireless network?  // Computer Active;Dec2014, Vol. 9 Issue 12, p100 

    The article provides an answer to a question of how to get a Canon printer back on the wireless network.

  • An adaptive medium access control scheme for mobile ad hoc networks under self-similar traffic. Abu-Tair, Mamun; Geyong Min; Qiang Ni; Hong Liu // Journal of Supercomputing;Jul2010, Vol. 53 Issue 1, p212 

    An important function of wireless networks is to support mobile computing. Mobile Ad hoc NETworks (MANETs) consist of a collection of mobile stations communicating with each other without the use of any pre-existent infrastructure. The self-organization characteristic of MANETs makes them...

  • Performance Evaluation of Location Update Schemes for MANET. Omer, Khaled; Lobiyal, Daya // International Arab Journal of Information Technology (IAJIT);Jul2009, Vol. 6 Issue 3, p274 

    In this paper, we have developed an analytical model to evaluate the performance of home agent, quorum based, and grid location service update schemes using Markov chain. The model evaluates the performance in terms of the cost of updates and queries. The cost of updates is computed in terms of...

  • A Competitive Replica Placement Methodology for Ad Hoc Networks. Khan, Samee Ullah; Ardil, Cemal // World Academy of Science, Engineering & Technology;Jul2009, Issue 31, p128 

    In this paper, a mathematical model for data object replication in ad hoc networks is formulated. The derived model is general, flexible and adaptable to cater for various applications in ad hoc networks. We propose a game theoretical technique in which players (mobile hosts) continuously...

  • The Deployment Algorithms in Wireless Sensor Net Works: A Survey. Jiming Chen; Entong Shen; Youxian Sun // Information Technology Journal;2009, Vol. 8 Issue 3, p293 

    In tiffs survey we focus on a variety of sensor nodes deployment algorithms that have been proposed and studied by researchers through the years. Some recent development of this research topic is introduced in a classified manner. We discuss the random deployment, incremental deployment and...

  • Challenges and Requirements of Digital Forensics Investigation in Wireless Ad-hoc Networks. Altalhi, Abdulrahman H.; Abdullah, Labeeb Mohsin; Sidek, Zailani Mohamed; Azmi, Muhammad Sufyian Mohd // International Journal of Advanced Research in Computer Science;Jan/Feb2012, Vol. 3 Issue 1, p26 

    Digital forensics involves the acquisition and investigation of materials that are collected from digital devices involved in digital crimes. Currently, the term "digital forensics" is used to cover the investigation of all devices used to store digital data. There are some technologies that...

  • EENMDRA: Efficient Energy and Node Mobility based Data Replication Algorithm for MANET. Mukilan, P.; Wahi, A. // International Journal of Computer Science Issues (IJCSI);May2012, Vol. 9 Issue 3, p357 

    A mobile ad-hoc network (MANET) is a selforganizing, rapidly deployable network which consists of wireless nodes without infrastructure. All nodes in a MANET are capable of moving actively and can be connected dynamically. It is used in various applications like video conferencing, rescue...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics