감사의 글🔗

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

이 책을 쓰는 데 정규 근무 시간 외의 많은 시간이 들었습니다. 제 아내 엘리 트라네 크리스티안센(Ellie Thrane Christiansen)이 평소보다 더 많은 집안일을 맡아 주었으며, 아내가 그렇게 해 주지 않았다면 이 책은 존재할 수 없었을 것입니다. 매주 하루씩 더 일하는 것은 제 가족에게 쉬운 일이 아니었습니다. 제가 이 책을 쓰는 동안 인내하고 지지해 준 가족에게 감사드립니다.

Lean을 둘러싼 온라인 커뮤니티는 이 프로젝트를 기술적으로도, 정서적으로도 열렬히 지원해 주었습니다. 특히 Sebastian Ullrich는 제가 오류 메시지의 텍스트를 CI에서 검사하는 동시에 책 본문에도 쉽게 포함할 수 있게 해 주는 지원 코드를 작성하기 위해 Lean의 메타프로그래밍 시스템을 배우고 있을 때 결정적인 도움을 주었습니다. 새 개정판을 올리고 나면 몇 시간 안에 열성적인 독자들이 실수를 찾아내고, 제안을 건네고, 제게 따뜻한 격려를 아낌없이 보내 주곤 했습니다. 특히 문체와 기술 양면에서 많은 제안을 해 준 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에게 감사드립니다.