Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/Type Enforcement/Inferred Typing/Static Typing/
Hindley Milner Type System
Search

Hindley Milner Type System

Created
Created
2021 Aug 17 5:30
Editor
Editor
Seonglae Cho
Creator
Creator
Seonglae Cho
Edited
Edited
2021 Aug 17 5:30
Refs
Refs
 
 
 
 
 
 
 
ReScript 사용기 / seob.dev
본격적으로 ReScript를 소개하기 앞서 얘기하고 싶은 내용이 있는데요. 제가 ReScript를 공부하기 시작하면서 가장 혼란스러웠던 점은 많은 용어들이 혼재되어 사용되고 있다는 점이었어요. ReScript, Reason(ReasonML), OCaml, BuckleScript 등, 다양한 용어가 ReScript 생태계 속에서 사용되고 있는데요. ReScript를 잘 이해하기 위해서는 이 용어들에 대해서 짚고 넘어갈 필요가 있을 것 같습니다. Reason은 React를 만든 Jordan Walke 가 만든 언어입니다.
ReScript 사용기 / seob.dev
https://seob.dev/posts/ReScript-%EC%82%AC%EC%9A%A9%EA%B8%B0/
ReScript 사용기 / seob.dev
Hindley-Milner type system - Wikipedia
A Hindley-Milner ( HM) is a classical type system for the lambda calculus with parametric polymorphism. It is also known as Damas-Milner or Damas-Hindley-Milner. It was first described by J. Roger Hindley and later rediscovered by Robin Milner. Luis Damas contributed a close formal analysis and proof of the method in his PhD thesis.
Hindley-Milner type system - Wikipedia
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
 
 

Recommendations

Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/Type Enforcement/Inferred Typing/Static Typing/
Hindley Milner Type System
Copyright Seonglae Cho