-inf 가 없는 자료형이면 불가능한 정의잖아다형적으로 정의할라면 -inf를 따로 줘야됨하스켈은 minimum :: Ord a => [a] -> a라서 minumum [] 넣으면 에러남
Rust는 걍 비어있으면 None 반환함
하스켈도 ml계열이라 options있어서 구현할려면 할텐데
하스켈로치면 Ord a => [a] -> Maybe a인가?
그냥 언어가 애초부터 러스트마냥 비어있는 타입을 깔고 갔어야했음 그거 안되는 언어는 어딜가던 불안함
*null*
하스켈은 인덱스 범위 에러는 어차피 컴파일타임에 못잡는다고 쿨하게 인정하는 언어기 때문에 찐따같이 Option같은거 안붙임
자바로 따지면 NPE인데 그걸 그냥 터트려?
약간 적폐같은 느낌이긴 함. SafeHaskell 이라고 안전성 강화하는 옵션 키면 이런 종류 함수들 싹 못쓰게 할수는 있음
float에서 맨앞과 맨끝을 -inf랑 inf로 정의하던데 이건 얼마나 통용되냐?
IEEE 표준임
int부터 문제구나
int는 최솟값이 존재하는 유한집합이니까 (-2^31~2^31-1) 별 상관없긴 함