함수형·형식언어 (2000년대~현재)

프로그래밍 언어 G6 그룹 종합 카드 — 5 기록된 자료의 시대 통합.

---

1. 시대 개요

이 그룹은 2000년대~현재 의 프로그래밍 언어 변천을 담은 시대 단위.

2. 소속 항목 (5)

• entity/haskell — Haskell — 게으름과 순수함이 클래스로 묶인 학술 언어
• entity/scala — Scala — 함수형과 객체지향이 같은 동전의 두 면임을 증명한 언어
• entity/erlang — Erlang — "실패한다면 어떻게 할 것인가"를 답한 통신 언어
• entity/rust — Rust — 메모리 안전을 컴파일러가 증명하는 시스템 언어
• entity/go — Go — 멀티코어 시대의 단순함을 박은 언어

3. 강의 핵심 명제 정합

"언어·OS·도구는 시대마다 발전했지만, 설계의 중요성은 처음부터 SE 학문과 산업계 실무에서 일관되게 적용되어왔다."

본 그룹의 모든 항목이 위 명제의 증거. 각 항목 본문 §5 (그 시대의 설계 도구 매핑) 와 §6 (강의 활용 포인트) 에 명제 정합 명시됨.

4. 시대 그룹 간 계승 (★ 강의 흐름)

→ 이전 시대: (앞 그룹과 wikilink 연결, 후속 기록) → 다음 시대: (뒷 그룹과 wikilink 연결, 후속 기록)

5. 강의 도입 활용

각 시대의 하나의 노드로 사용 가능:

• 강의 도입 슬라이드의 시간축에 배치
• 각 시대 선택 시 본 카드 펼치면 5+ 항목 카드 자동 표시
• 시대 → 다음 시대 evolves_into 화살표가 강의의 흐름

6. 메타

• 카테고리: 프로그래밍 언어 (A_language)
• 그룹: G6
• 카드 수: 5
• 최종 갱신: 2026-05-09
• 후속 작업: Opus 4.7 으로 §1·§4 본문 합성 (별 작업)

---

출처

본 synthesis 의 출처는 소속 entity 카드들의 출처 합집합 (위키피디아·학술 자료).