Dev.toIdris 2 도입을 통한 Compile-time Invariant 강제 및 런타임 검증 제거Revisiting Idris in 2026: Is It Ready for Real Work?Backendadvanced6 분 소요3일 전