- Learn Type:Driven Development
- Yawar Amin Kamon Ayeva
- 91字
- 2021-07-02 14:41:25
Programming with Types and Values
In the previous chapter, we looked at type-driven development using ReasonML, but what are types exactly? And how do they interact with other parts of your program? How do they help you on a regular basis, and what does it look like to use a strong static type system with type inference?
In this chapter, we will cover the following topics:
- Setting up an editor workflow
- Types and values
- Immutable values and memory
- Static versus dynamic typing
- Type erasure
- Syntax errors
- Type errors and inference
- Unification
推薦閱讀
- 程序員修煉之道:程序設計入門30講
- JavaScript 從入門到項目實踐(超值版)
- PostgreSQL技術內幕:事務處理深度探索
- JavaScript 程序設計案例教程
- R Data Analysis Cookbook(Second Edition)
- Apache Kafka Quick Start Guide
- C++新經典
- Creating Mobile Apps with jQuery Mobile(Second Edition)
- Procedural Content Generation for C++ Game Development
- ServiceNow:Building Powerful Workflows
- Building Microservices with .NET Core
- Learning Node.js for .NET Developers
- Python機器學習算法與應用
- Oracle 12c從入門到精通(視頻教學超值版)
- SOA Patterns with BizTalk Server 2013 and Microsoft Azure(Second Edition)