徐志赫 서지혁

Cadet 키보드 컨트롤러

09 Oct 2016

Facebook 최초 게시:

https://github.com/limeburst/cadet

Ivory로 작성한 키보드 컨트롤러! 라고 하기엔 아직 이르지만 어쨌든 Ivory 코드가 들어 있습니다. 커스텀 키보드를 만들어 쓰고 있었는데, 펌웨어도 직접 짜 봤습니다.

Ivory는 고신뢰 UAV 오토파일럿 소프트웨어 개발을 위해 Galois, Inc. 에서 만든 하스켈 임베디드 DSL입니다. 고작 키보드 컨트롤러에 무슨 high assurance 시스템인가 하는 생각이 들 수도 있는데, 일단 Ivory 코드는 C로 컴파일되기 때문에 약간의 FP 지식과 툴링만으로도 거의 모든 종류의 프로젝트에 점진적인 도입이 가능합니다.

Ivory 말고도 ‘Safe C’ 를 목표로 하는 반-UB, 메모리-안전, 런타임-리스, 로우-레벨, 등등- 스러운 프로그래밍 언어들이 많은데, 저도 처음엔 Rust로 이 프로젝트를 시작했다가 인테그레이션 코드가 너무 커져서 Ivory로 방향을 바꿨고, 결과에 매우 만족해 약을 팔러 왔습니다 약 받아 가세요