succ_types.dvi
Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Department of Information Technology, Uppsala University, Sweden 2 School of Electrical and Computer Engineering, National Technical University of Athens, Greece {tobiasl,kostis}@it.uu.se Abstract In languages where the compiler performs no static type checks, many programs never go wrong, but the intende
Introduction | Learn You Some Erlang for Great Good! 日本語訳
翻訳ã«ã¤ã„ã¦Â¶ ã“ã®ãƒ‰ã‚ュメントã¯ã€Learn you some Erlang for great good! (http://learnyousomeerlang.com/) を著者ã®è¨±å¯ã®ä¸‹ã€æ—¥æœ¬èªžè¨³ã—ãŸã‚‚ã®ã§ã™ã€‚ドã‚ュメントã®ãƒ©ãƒ³ã‚»ãƒ³ã‚¹ã¯Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unportedã€ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®ãƒ©ã‚¤ã‚»ãƒ³ã‚¹ã¯ä¿®æ£BSDã§ã™ã€‚
Table of Contents | Learn You Some Erlang for Great Good!
The next three chapters of the tutorial are online: Modules, Syntax in Functions and Types (or lack thereof). We'll see how to write modules and the functions that go in them, compile our code for the Erlang VM. Then functions are pushed a bit further: we explore more pattern matching, define what guards are, learn to write conditional expressions and to convert types.
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
{{#tags}}- {{label}}
{{/tags}}