- Learn Type:Driven Development
- Yawar Amin Kamon Ayeva
- 209字
- 2021-07-02 14:41:24
ReasonML
We're going to explore type-driven development using ReasonML (https://reasonml.github.io/). Reason is a JavaScript-like syntax and is also a set of tools for OCaml (https://ocaml.org/). OCaml is a mature statically typed functional programming language with excellent support for object-oriented and modular programming.
We're going to write Reason code and compile it to JavaScript using the BuckleScript compiler (https://bucklescript.github.io/). BuckleScript takes input from Reason code and outputs essentially a simple subset of ES5 (that is, no ES2015-style classes, no arrow functions, and so on). This will allow us to write strongly statically typed code and see what the output JavaScript looks like with all the types stripped away.
The Reason toolkit currently consists of:
- A code formatting and syntax translation tool, refmt
- An interactive code evaluation environment, rtop
- A build manager for native-compilation projects (we won't need this one for this book), rebuild
- A tool that provides intellisense abilities to editors, ocamlmerlin-reason
These tools work together to provide a minimal, yet powerful, development experience. Together with a good editor (we recommend Visual Studio Code), they cover most of your day-to-day development needs.
- Git Version Control Cookbook
- Intel Galileo Essentials
- Spring Cloud Alibaba微服務(wù)架構(gòu)設(shè)計與開發(fā)實戰(zhàn)
- JavaScript前端開發(fā)與實例教程(微課視頻版)
- Jupyter數(shù)據(jù)科學(xué)實戰(zhàn)
- 網(wǎng)站構(gòu)建技術(shù)
- Python算法指南:程序員經(jīng)典算法分析與實現(xiàn)
- Swift 4 Protocol-Oriented Programming(Third Edition)
- Visual C#.NET Web應(yīng)用程序設(shè)計
- C語言程序設(shè)計與應(yīng)用(第2版)
- Java EE 7 with GlassFish 4 Application Server
- Android移動應(yīng)用開發(fā)項目教程
- Clojure High Performance Programming(Second Edition)
- Android嵌入式系統(tǒng)程序開發(fā)(基于Cortex-A8)
- Beginning C# 7 Hands-On:The Core Language