| Types and specs | |
| Dialyzer | |
| Modern habits |
Type specifications attach types to function heads. The -type directive defines a new type, and -spec attaches it to a function. Dialyzer uses these to find common bugs without running the code.
-type maybe(Normal | Error).
-spec add(Normal) -> maybe.
add(X) when is_number(X) -> X + 1.
add(_) -> error.
Next: Hero roadmap: the whole course on one page
Article author: Arthur Isaev
| I recommend our hosting beget.com |
| Write to info@aredel.com if you: |
| 1. Want to write an article for our site or translate an article into your native language. |
| 2. Want to place thematically relevant ads on the site. |
| 3. Ads on my site pass maximum censorship. If you see an ad block unsuitable for school-age children, shocking or misleading - please contact us by e-mail |
| 4. Found a mistake, inaccuracy, bug, etc. on the site. ... ....... |
| 5. Articles can be shared on social media by clicking a network icon:
|