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