[질문] 런타임 에러 없는 언어 뭐 있음?

[익명(211.177)]

elm

ocaml

러스트..?

[익명(116.251)]

ㅇㅇ(223.62) 어딨냐?? 일안함??

[익명(211.177)]

??

[00(210.104)]

[익명(211.177)]

[익명(223.33)]

러슬람 러들러들~

[다믜(damhiya)]

셋다 안됨

[익명(211.177)]

https://elm-lang.org/
이거 들어가보면 처음에 나오는게 No runtime exceptions 인데.. 구라임?

[다믜(damhiya)]

total functional programming이나 formal verification 쓰면 가능

[익명(211.177)]

고수ㄷㄷ

[다믜(damhiya)]

elm 정도 언어로는 런타임 에러 못없앰. 그리고 elm은 지금 컴파일러 개발 사실상 중지됐음

[다믜(damhiya)]

저기서 말하는 no runtime exception은 그냥 다른 언어에 비해 에러가 적게 발생한다 or 자바같은 예외처리 기능이 언어에 없다는 말 같음

[익명(211.177)]

In addition to showing better error messages, this release is also catching more errors. "One big goal of Elm is to have no runtime errors."

[익명(211.177)]

ㄹㅇ이네 속을뻔ㄷㄷㄷ

[다믜(damhiya)]

total functional programming이나 formal verification은 현실적으로 너무 어렵고, 적당히 타협한다면 Rust나 Haskell/OCaml 같은 강타입 함수형 언어가 런타임 에러를 줄이는데에 도움이 되긴 함

[익명(39.7)]

런타임 에러 그냥 0으로 나누기만 해도 발생하지 않나

[익명(221.167)]

HTML!!! 이색히들 뭔가 존나 심오하게 생각들하고 앉았네..ㅋㅋㅋ

[익명(39.7)]

꺽쇠 짝 안맞추고 좆대로 태그 쓰면 런타임에러 아니냐

[익명(221.167)]

해봐라. 좃대로써서 태그 안맞추면 그냥 좃된 그대로 출력될 뿐..

[익명(223.62)]

좆된게 에러지 뭔

[익명(ninja75832)]

현실적으로 런타임에 에러가 없을 수가 없음

[익명(112.163)]

런타임에 변수가 얼마나 많은데 에러가 없을수가 없지 - dc App

[익명(121.151)]

런타임 필요없을만큼 미리 다 예상가능하면 프로그램이라는게 굳이 필요한가 싶은데 뭐하러 매번 계산할까 계산결과 테이블로 만들어놓고 걍 그것만 쓰면 되지 바뀔거도 없는데

[익명(223.62)]

메모리부족함

[익명(223.62)]

함슬람들이 괜히 lazy evaluation을 물고빠는게 아님

[익명(121.151)]

메모리가 부족한게 런타임오류네

[익명(117.111)]

튜링 불완전 ㄷㄷ

[데자와민트초코닥터페퍼솔의눈녹차코코넛(chlwnsgud7)]

한국어

[야딩조무사(cir6174)]

그냥 런타임이 없는 언어는 어떰

[익명(14.46)]

주딱 말처럼 타입이 존나존나 쎄거나 외부 툴을 도입하면 되는데 전자는 쓰는게 고통이고 후자는 연구가 한참 덜됨