아님 리스프임? 아님 뭐임?
From DC Wave
From DC Wave
함수형 언어중 가장 수학적으로 우수한게 하스켈임?
익명(203.128)
2016-03-30 23:02
추천 0
댓글 4
다른 게시글
-
해킹공부하는 사람인데 언어 마스터해야됨? [5]보안개노잼(popo0082) | 16.03.30추천 0
-
Roots란 의류 브랜드 보고 든 생각 [1]에어로홍(aerohong) | 16.03.30추천 0
-
교수님이 컴퓨터 를 제대로 알려면 논리학이랑 집합론을 명쾌히 알라는데 [3]익명(110.70) | 16.03.30추천 0
-
좆문대인데 실력 ㅅㅌㅊ면 외국으로 런하면 페이좋음? [5]보안개노잼(popo0082) | 16.03.30추천 0
-
형들 질문좀 하나 할게 [1]익명(59.31) | 16.03.30추천 0
-
열심히공부해서 대학가고음(110.70) | 16.03.30추천 0
-
프갤은 보안하는사람 없어요? [5]ㅗㅜㅑ(61.251) | 16.03.30추천 0
-
뷁년만에출근했다 [2]sh(207.228) | 16.03.30추천 0
-
클래스 니가구현해 [6]익명(110.70) | 16.03.30추천 1
-
음악 플레이어익명(110.70) | 16.03.30추천 0
스스로 함수형이라고 드립치면 다 수학적임 함수형이라는 소리가 수학적이라는 소리니까
그니깐 그 중 진짜 제대로 수학적인 언어는 뭐냐고 - DCW
Coq가 가장 수학적임
수학자들이 증명 검산할때 쓰는 언어임