Lean 정리 증명기 mathlib

Article URL: https://github.com/leanprover-community/mathlib4
Comments URL: https://news.ycombinator.com/item?id=46260128
Points: 34
Comments: 0

발행: 2일 전 (2025년 12월 14일 오전 10:49 GMT+9)

1 min read

Source: Hacker News

세부 정보

기사 URL: https://github.com/leanprover-community/mathlib4 댓글 URL: https://news.ycombinator.com/item?id=46260128 포인트: 8 댓글: 0...

소개 개발자들이 JavaScript를 배우면서 “first‑class functions”라는 용어가 토론과 문서에서 자주 등장합니다. JavaScript에서 함수는 …

Stream API의 특징 - Declarative – 함수형 스타일을 사용하여 간결하고 가독성 높은 코드를 작성한다. - Lazy Evaluation – 연산은 terminal 연산이 호출될 때만 실행된다.

티모시가 모니터를 바라보며 눈을 가늘게 뜨고, 함수형 프로그래밍 유틸리티 라이브러리에서 가져온 JavaScript 코드 한 줄을 읽었다: js const formatUrl = proto…