하스켈 재단 TLC, 'Go의 반복 속도에 C#의 디버깅, Rust의 온보딩' 기술 비전 공개

설치가 언제 문제였냐, ghcup에 stack에 nix까지 다 있는데

유닉스 원칙 운운하는데 Rust가 접근성 좋은 건 Cargo가 한 가지 일만 해서가 아니라 여러 가지를 다 해주기 때문임. 하스켈 설치가 나쁜 것도 도구가 너무 많아서 어디서 시작할지 모르는 문제고, Cabal이랑 Stack 중 뭘 깔지 물으면 둘 다 깔라고 답하는 판국임

난 반대함. 예전에 하스켈 패키지에서 코드 뽑아 분석하는 도구를 만들었는데 GHC 플러그인에 Nix 문자열 생성에 GHCi로 :t 돌리는 셸 스크립트까지 괴상하게 얽혔음. 필요한 기능은 다 GHC랑 Cabal 안에 있는데 꺼내 쓸 방법이 없어서 그 난리였음

SPj가 '하스켈은 쓸모없다'고 한 영상 이후로 계속 생각하는데, C나 JS, Rust처럼 데스크톱에 모바일, 웹까지 다 되는 언어였으면 좋겠음. 지금은 CLI 짜다가 결국 다른 언어로 도망가게 됨

뭐가 빠진 건데? GUI 라이브러리?

기반 라이브러리 문제인 듯. 임베디드 툴체인, GUI, GPU, 웹 프레임워크(DB에 인증에 라우터에 템플릿)까지 다 직접 굴리지 않으려면 필요한 게 한둘이 아님

그 영상 characterization은 좀 unfair함. SPJ는 useful/unsafe 대 useless/safe 그래프를 깔고 나서 영상 대부분을 하스켈이 쓸모 있어져야 한다는 얘기로 씀

데스크톱이고 모바일이고 웹이고 다 만들 수 있음. 뭐가 막히는 건데

한 플랫폼, 한 문제 영역에서 다 최고가 되긴 어려움. LLM 도움 받아서 가장 안전하고 신뢰할 수 있는 웹앱을 만드는 쪽을 노리는 게 맞는 방향 아닐까

hasufell은 하스켈 쪽에서 드물게 머리 맑은 사람임. 요즘은 LLM을 미친 인턴처럼 옆에 두고 API 설계를 뽑아내는데, 타입 체킹이 촘촘하면 RL 피드백 루프가 싸고 빨라지는 게 크게 작용함

컴파일 타임 얘기가 나오는데 풀 빌드가 느린 건 어쩔 수 없어도 증분 빌드는 함수랑 타입 수준까지 잘게 쪼개면 느릴 이유가 없음

증분 컴파일은 가능함. 인터프리터 모드에서는 지금도 됨

카르다노가 스마트 컨트랙트에 하스켈(Plutus) 쓴다고 했을 때만 해도 Solidity를 따라잡을 줄 알았는데 adoption은 그냥 안 됐음