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

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
主站蜘蛛池模板: 昌黎县| 舒兰市| 尼勒克县| 岳阳县| 巢湖市| 白河县| 金川县| 绥江县| 皮山县| 洪雅县| 宜阳县| 临猗县| 汉沽区| 夹江县| 铜陵市| 襄汾县| 万州区| 平湖市| 南开区| 思茅市| 驻马店市| 乌拉特中旗| 额济纳旗| 常宁市| 海晏县| 巢湖市| 汤原县| 东安县| 吉木乃县| 怀柔区| 汾阳市| 赤峰市| 枣强县| 文水县| 靖安县| 云和县| 安徽省| 达拉特旗| 土默特右旗| 买车| 涟源市|