ReScript Typing
[Hindley Milner Type System](https://texonom.com/hindley-milner-type-system-9c10ab0b4a20470b8202d9beb1a52178) [ReScript Identifier](https://texonom.com/rescript-identifier-5bdb6001c15342608d98c6ee8c3cd3f9) [Reason ML](https://texonom.com/reason-ml-8db5cd509c974545b5f2f6df01d93561) 



오퍼레이터부터 타입 추론
모든 식별자 불변이라 중간에 다른 타입으로 안변함
ReScript의 원형인 ReasonML이 ML계열 언어이고, 힌들리-밀러 타입시스템을 최초로 구현한 언어가 ML
프로그래머가 직접 타이핑을 할 필요가 없도록 해줄 정도로 많은 부분에 타입 추론


[ReScript Type Parameter](https://texonom.com/rescript-type-parameter-134f23c5eab94297808bdd28e69d0621)





힘든 부분
- **Array에 넣을 수 있는 타입은 한가지 타입으로 제한됨**
- **함수 오버로딩과 가변인자 함수(Variadic Function)을 지원하지 않음**
```type// Runs after every completed renderReact.useEffect(() => {  // Run effects  None // or Some(() => {})})// Runs only once right after mounting the componentReact.useEffect0(() => {  // Run effects  None // or Some(() => {})})...```
ReScript도 JavaScript 생태계에서 완전히 자유로울 수는 없고, 기존 npm 생태계 등을 활용해야할 필요성도 있기 때문에





