- Learn Type:Driven Development
- Yawar Amin Kamon Ayeva
- 261字
- 2021-07-02 14:41:23
Adding types
With a static type system, we can restrict our makePerson function in quite a few ways. Here's an example using ReasonML, the language that we're using in this book to learn type-driven development:
/* src/Ch01/Ch01_Demo.re */
type person = {id: int, name: string};
let makePerson(id, name) = {id, name};
Here, we define a new data type, person, and a function that creates a value of the type given the required arguments. We have one more line in the preceding code than we do in the JavaScript code, but in exchange, we get the following guarantees:
- The caller cannot pass in null or undefined arguments
- The caller cannot pass in the wrong types of arguments
- The caller cannot mutate the result value of the function
Notice in the previous example that we didn't have to declare the argument or types for the makePerson function. This is because ReasonML has great type inference that automatically understands that int, string, and person must be the only possible types allowed for those parts of the function.
ReasonML will compile the previous code into the following JavaScript:
// src/Ch01/Ch01_Demo.bs.js
function makePerson(id, name) { return [id, name]; }
As you can see, the preceding code looks almost exactly like the JavaScript we wrote earlier—the main difference is that Reason's JavaScript compiler turns records (which we'll explore later) into JavaScript arrays to take advantage of their speed.
This is just a glimpse of what static types can do to your codebase. In the coming chapters, we'll have a look at many more practical applications.
- 一步一步學(xué)Spring Boot 2:微服務(wù)項目實戰(zhàn)
- Cocos2D-X權(quán)威指南(第2版)
- R語言經(jīng)典實例(原書第2版)
- Ceph Cookbook
- Power Up Your PowToon Studio Project
- Practical Internet of Things Security
- 華為HMS生態(tài)與應(yīng)用開發(fā)實戰(zhàn)
- DevOps Automation Cookbook
- Bootstrap Essentials
- PhoneGap Mobile Application Development Cookbook
- Modern JavaScript Applications
- VMware虛擬化技術(shù)
- 深入理解Elasticsearch(原書第3版)
- 精通MATLAB(第3版)
- Getting Started with Eclipse Juno