감사의 글🔗

이 무료 온라인 서적은 Microsoft Research의 아낌없는 지원 덕분에 만들어질 수 있었으며, Microsoft Research는 이 책의 집필과 무상 배포에 필요한 비용을 지원했습니다. 저술 과정 동안, 그들은 제 질문에 답하고 Lean을 더 쉽게 사용할 수 있도록 만들기 위해 Lean 개발팀의 전문 지식을 활용할 수 있게 해주었습니다. 특히 Leonardo de Moura는 프로젝트를 시작하고 제가 착수하는 데 도움을 주었으며, Chris Lovett은 CI와 배포 자동화를 구축하고 테스트 독자로서 훌륭한 피드백을 제공해 주었고, Gabriel Ebner는 기술 검토를 담당해 주었으며, Sarah Smith는 행정 업무가 원활히 돌아가도록 해 주었고, Vanessa Rodriguez는 소스 코드 하이라이팅 라이브러리와 iOS의 특정 Safari 버전 사이의 까다로운 상호작용을 진단하는 데 도움을 주었습니다.

이 책을 집필하는 데에는 정규 근무 시간 외의 많은 시간이 소요되었습니다. 제 아내 Ellie Thrane Christiansen은 평소보다 훨씬 더 많은 몫으로 가정을 꾸려 왔으며, 그녀가 그렇게 해주지 않았다면 이 책은 존재할 수 없었을 것입니다. 매주 하루씩 더 일하는 것은 제 가족에게 쉽지 않은 일이었습니다—제가 글을 쓰는 동안 인내하고 지지해 주셔서 감사합니다.

Lean을 둘러싼 온라인 커뮤니티는 이 프로젝트에 기술적으로도 정서적으로도 열정적인 지원을 제공했습니다. 특히 오류 메시지의 텍스트를 CI에서 검사하는 동시에 책 본문에도 쉽게 포함할 수 있도록 지원 코드를 작성하기 위해 Lean의 메타프로그래밍 시스템을 배우는 과정에서, Sebastian Ullrich가 핵심적인 도움을 주었습니다. 새 개정판을 게시하고 몇 시간도 지나지 않아, 흥분한 독자들이 오류를 찾아내고 제안을 해주며 저에게 친절을 베풀어주곤 했습니다. 특히 Arien Malec, Asta Halkjær From, Bulhwi Cha, Craig Stuntz, Daniel Fabian, Evgenia Karunus, eyelash, Floris van Doorn, František Silváši, Henrik Böving, Ian Young, Jeremy Salwen, Jireh Loreaux, Kevin Buzzard, Lars Ericson, Liu Yuxi, Mac Malone, Malcolm Langfield, Mario Carneiro, Newell Jensen, Patrick Massot, Paul Chisholm, Pietro Monticone, Tomas Puverle, Yaël Dillies, Zhiyuan Bao, Zyad Hassan에게 문체적으로나 기술적으로나 많은 제안을 해준 것에 감사드리고 싶습니다.