Generic programming, now!

被引：0
|
作者：
Hinze, Ralf [1 ]
Loeh, Andres [1 ]
机构：
[1] Univ Bonn, Inst Informat 3, D-53117 Bonn, Germany
来源：
DATATYPE-GENERIC PROGRAMMING | 2007年 / 4719卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Tired of writing boilerplate code? Tired of repeating essentially the same function definition for lots of different datatypes? Datatype-generic programming promises to end these coding nightmares. In these lecture notes, we present the key abstractions of datatype-generic programming, give several applications, and provide an elegant embedding of generic programming into Haskell. The embedding builds on recent advances in type theory: generalised algebraic datatypes and open datatypes. We hope to convince you that generic programming is useful and that you can use generic programming techniques today!.
引用
收藏
页码：150 / 208
页数：59
相关论文
共 50 条
  • [1] GENERIC PROGRAMMING
    MUSSER, DR
    STEPANOV, AA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 13 - 25
  • [2] Generic Component: A Generic Programming Approach
    Chen Yewang
    Jiang Zhixiong
    Zhao Wenyun
    Peng Xin
    [J]. 2007 CIT: 7TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2007, : 87 - 92
  • [3] Fundamentals of generic programming
    Dehnert, JC
    Stepanov, A
    [J]. GENERIC PROGRAMMING, 2000, 1766 : 1 - 11
  • [4] Staged generic programming
    [J]. Yallop, Jeremy, 1600, Association for Computing Machinery (01):
  • [5] Generic Programming in OCAML
    Balestrieri, Florent
    Mauny, Michel
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (285): : 59 - 100
  • [6] Staging Generic Programming
    Yallop, Jeremy
    [J]. PEPM'16: PROCEEDINGS OF THE 2016 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, 2016, : 85 - 96
  • [7] Generic programming - An introduction
    Backhouse, R
    Jansson, P
    Jeuring, J
    Meertens, L
    [J]. ADVANCED FUNCTIONAL PROGRAMMING, 1999, 1608 : 28 - 115
  • [8] Generic programming in Ωmega
    Sheard, Tim
    [J]. DATATYPE-GENERIC PROGRAMMING, 2007, 4719 : 258 - 284
  • [9] Generic programming within dependently typed programming
    Altenkirch, T
    McBride, C
    [J]. GENERIC PROGRAMMING, 2003, 115 : 1 - 20
  • [10] Arity-Generic Datatype-Generic Programming
    Weirich, Stephanie
    Casinghino, Chris
    [J]. PLPV'10: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES MEETS PROGRAM VERIFICATION, 2010, : 15 - 26
12345