- 틀:백준에서 지원하는 언어
- 나무위키:프로젝트/컴퓨터
- 틀:프로그래밍 언어 목록
- ReasonML
- Anubis and the Buried Bone
- 힌들리밀너 타입 시스템
- Rocq
- 언어 서버 프로토콜
- Linguist
- F#
- Rust(프로그래밍 언어)/비판
- 쌍대곱
- 람다 대수
- HQ9+
- 하노이의 탑
- Nix
- 함수형 프로그래밍
- 쓰레기 수집
- 서울대학교/학부/공과대학/컴퓨터공학부
- 자료형
- 쌍점
- 재귀함수
- 정올(사이트)
- 틀:프로그래밍 언어
- Sublime Text
- Baekjoon Online Judge
- 프로그래밍 언어/종류
- Rust(프로그래밍 언어)
- 확장자/목록
- 나무위키:프로젝트/프로그래밍