Eclipse의 특징 중 하나는 불완전하거나 깨진 코드를 실행할 수 있는 기능이었음. 이는 Java의 Eclipse Compiler가 거의 모든 파일에 대해 바이트코드를 생성할 수 있었기 때문임. 이 기능은 매우 생산적인 환경을 제공했으며, 다른 대규모 시스템에서 구현되지 않아 아쉬움.
Haskell은 타입 홀을 제공하며, 이를 완성하거나 케이스를 분할하는 코드 액션을 제공하는 플러그인이 있음. Agda도 타입 홀을 가지고 있으며, 더 강력한 기능을 제공함.
Hazel에 대한 질문에 답변할 준비가 되어 있으며, 지난 4년간 Cyrus의 박사과정 학생으로 Hazel에서 작업해왔음. 현재 Hazel에서 라이브 프로그래밍을 위한 몰더블 프로젝셔널 인터페이스를 개발 중임.
Hacker News 의견
Eclipse의 특징 중 하나는 불완전하거나 깨진 코드를 실행할 수 있는 기능이었음. 이는 Java의 Eclipse Compiler가 거의 모든 파일에 대해 바이트코드를 생성할 수 있었기 때문임. 이 기능은 매우 생산적인 환경을 제공했으며, 다른 대규모 시스템에서 구현되지 않아 아쉬움.
Haskell은 타입 홀을 제공하며, 이를 완성하거나 케이스를 분할하는 코드 액션을 제공하는 플러그인이 있음. Agda도 타입 홀을 가지고 있으며, 더 강력한 기능을 제공함.
Hazel에 대한 질문에 답변할 준비가 되어 있으며, 지난 4년간 Cyrus의 박사과정 학생으로 Hazel에서 작업해왔음. 현재 Hazel에서 라이브 프로그래밍을 위한 몰더블 프로젝셔널 인터페이스를 개발 중임.
Hazel은 타입 홀이 특징인 라이브 함수형 프로그래밍 환경임. 관련 정보: Hacker News 링크
Tylr는 타일 기반 편집의 데모로, 새로운 구조 편집 방식임. 관련 정보: Hacker News 링크
Hazel의 코드 예제가 마음에 들며, 라이브 편집기와 오른쪽에 나타나는 문서화가 좋음. 하지만 라이브 편집기와 타입 체커 이상의 기능을 제공하는지, 실제로 프로그램을 작성할 수 있는지 궁금함.
에디터 UI가 아름답고 모바일에서도 잘 작동함. 매우 인상적임.
"let" 바인딩이 "in"으로 끝나는 문법이 흥미로움. 예시:
"in" 키워드의 이유를 아는 사람?
Idris에 대한 언급은 없었지만, 이 스타일의 개발을 처음 본 곳이 Idris였음. 관련 영상: YouTube 링크
Android 폰에서 플레이그라운드를 시도했지만, 키 입력이 소스 코드에 반영되지 않음. 커서를 탭하여 위치할 수 있고 가상 키보드가 나타나지만, 입력이 불가능함. 이는 버그인지 아니면 UX 문제인지 궁금함.
Hazel을 항상 좋아했으며, 아마도 교육에 훌륭한 도구일 것임. Hazel로 무엇이 만들어졌는지 궁금함.