Veit Heller - Carp - A Language for the 21st Century
Curry On! · 43:23 · Watch on YouTube
Carp는 Lisp처럼 보이지만 실제로는 ML이나 Rust처럼 느껴지는 작고 정적으로 타입된 언어입니다. Hindley-Milner 타입 추론, 가비지 컬렉터 대신 빌림 검사기(borrow checker), 타입되지 않은 Clojure 스타일 매크로, 그리고 C로 컴파일됩니다. 연사(표준 라이브러리 주요 유지보수자 Veit)는 이 언어의 실제 목표는 가능한 한 많이 추론하고 도구가 추론...