官术网_书友最值得收藏!

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
主站蜘蛛池模板: 安陆市| 温州市| 平陆县| 靖安县| 会泽县| 巴里| 措美县| 南投县| 焉耆| 社会| 临西县| 镇坪县| 桑植县| 苗栗县| 沈丘县| 肃南| 蓝山县| 连山| 永泰县| 神农架林区| 二连浩特市| 玛沁县| 固镇县| 阿拉善左旗| 揭西县| 扎囊县| 阿克苏市| 明溪县| 锡林郭勒盟| 丽江市| 平武县| 九龙坡区| 右玉县| 凤凰县| 漯河市| 南阳市| 新巴尔虎右旗| 安吉县| 奉新县| 芒康县| 黄山市|