WebHack#10 Why You Never Need Explicit Null Checks
Monad, an Abstraction of Computational Effects
A computation(e.g., a function call) will not always succeed, and the failure can be represented by a null value. To build robust programs, the intuitive way is to perform explicit null checking like
if (null != aVariable). However, indentation may go so deep to harm code quality. Actually, null checking can be done implicitly at each step of the computation. And this talk will demonstrate how to implement the automatic null checking, which reflects the most important use of monad in programming languages: capturing computational effects such as failure, non-determinism, state, and IO.
The speaker, Zirun Zhu, is a PhD Candidate at National Institute of Informatics (NII). His research area is bidirectional transformations (BXs), which can serve as an elegant approach to synchronizing data in different format. In particular, he is focusing on the synchronization problem between the program text and its abstract syntax representation. He developed a domain specific language – BiYacc – to help the user build a pair of parser and reflective printer from a single program.
Brief Introduction to Haskell and PureScript
- 19:00-19:10 Registration
- 19:10-20:00 Presentation
- 20:00-20:10 Q&A
- 20:10-21:30 Dinner
- 赤坂溜池タワー 13F
- 東京メトロ 銀座線・南北線 溜池山王駅 11出口 (徒歩約4分)
- 東京メトロ 千代田線 赤坂駅 2出口 (徒歩約4分)
- 東京メトロ 丸ノ内線・銀座線 赤坂見附駅 10出口 (徒歩約9分)
- 080-8495-1823 (Mr.Bible)
wire-line network wire-less network water