Laws of Monadic Error Handling

被引：0
作者：
Nestra, Harmel [1 ]
机构：
[1] Univ Tartu, Inst Comp Sci, J Liivi 2, EE-50409 Tartu, Estonia
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019 | 2019年 / 11884卷
关键词：
Monads; Error handling; Parsing; Equational reasoning;
D O I：
10.1007/978-3-030-32505-3_21
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
One of the numerous applications of monads in functional programming is error handling. This paper proposes several new axiomatics for equational reasoning about monadic computations with error handling and studies their relationships with each other and with axiomatics considered earlier. The primary intended application area is deterministic top-down parsing.
引用
收藏
页码：372 / 391
页数：20
相关论文
共 14 条
[1]  
Ahman D., 2014, LEIBNIZ INT P INFORM, V13, P1, DOI DOI 10.4230/LIPICS.TYPES.2013.1
[2]   MONADS NEED NOT BE ENDOFUNCTORS [J].
Altenkirch, Thorsten ;
Chapman, James ;
Uustalu, Tarmo .
LOGICAL METHODS IN COMPUTER SCIENCE, 2015, 11 (01)
[3]   Monads Need Not Be Endofunctors [J].
Altenkirch, Thorsten ;
Chapman, James ;
Uustalu, Tarmo .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 :297-+
[4]  
[Anonymous], 1992, 19th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, p1S14, DOI 10.1145/143165.143169
[5]   Fast and loose reasoning is morally correct [J].
Danielsson, NA ;
Hughes, J ;
Gibbons, J ;
Jansson, P .
ACM SIGPLAN NOTICES, 2006, 41 (01) :206-217
[6]   Parsing expression grammars: A recognition-based syntactic foundation [J].
Ford, B .
ACM SIGPLAN NOTICES, 2004, 39 (01) :111-122
[7]  
Gibbons J, 2011, ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, P2
[8]  
Hutton G., 1998, Journal of Functional Programming, V8, P437, DOI 10.1017/S0956796898003050
[9]  
Hutton Graham, 1996, NOTTCSTR964 U NOTT
[10]  
Liang Sheng, 1995, Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, P333, DOI [10.11 45/199448.199528, DOI 10.1145/199448.199528, 10.1145/199448.199528]
12