태그: #programming-languages

← 전체 글

• 타입 검사기를 통과한 두 서비스가 서로를 기다리며 멈출 때 — 코레오그래피라는 다른 접근

  메모리 안전을 보장하는 언어를 써도 두 서비스가 서로의 메시지를 기다리며 멈추는 일은 막지 못합니다. 타입 검사기의 시야가 프로세스 하나에서 끝나기 때문입니다. 코레오그래피 프로그래밍은 시스템 전체를 하나의 프로그램으로 쓰고 컴파일러가 노드별 코드를 뽑아내게 해서 이 경계 자체를 없앱니다. 최근 공개된 Wyzer를 실마리로, 엔드포인트 프로젝션이 무엇이고 왜 데드락이 설계상 사라지는지, 그리

  2026-08-09 · 14 분 읽기 #programming-languages#compiler#distributed-systems#type-systems#concurrency

• 작은 언어의 매력 — Janet, Lua와 임베더블 스크립팅의 세계

  Why Janet 글이 다시 HN 상위에 오르며 작은 임베더블 언어에 대한 관심이 부활하고 있습니다. Lua의 성공 사례부터 Janet의 설계 철학, C 임베딩 실전 예제, DSL 설계 입문, 프로덕션 도입 시 고려사항까지 작은 언어의 세계를 깊이 있게 탐험합니다.

  2026-06-12 · 27 분 읽기 #janet#lua#embedded-scripting#dsl#programming-languages

• 니치 모던 프로그래밍 언어 2026 완벽 가이드 - Crystal · Pony · Mojo · Carbon · Hare · Roc · Vale · Virgil 심층 분석

  2026년 메인스트림 언어 너머의 풍경을 본다. Crystal·Pony·Mojo·Carbon·Hare·Roc·Vale·Virgil·Gleam·Grain·Chapel·Inko·Hylo·Austral·Odin·Jai·V·Wuffs·Mun·Beef까지 — 각 언어의 설계 철학, 메모리 모델, 동시성 모델, 생태계, 채용 시장, 한국·일본 커뮤니티, 그리고 '왜 굳이 니치 언어를 쓰는가'까지 22장

  2026-05-16 · 29 분 읽기 #programming-languages#crystal#pony#mojo#carbon

• 니치 & 신생 프로그래밍 언어 2026 — Crystal / Nim / V / Carbon / Mojo / Pony / Hare / Roc / Hylo / Vale / Koka / Tcl 9 / Fortran 2023 심층 가이드

  2026년 5월 기준 니치(niche)와 신생 프로그래밍 언어들을 정리한다. Crystal 1.14, Nim 2.x, V(Vlang)의 영원한 베타, Carbon 알파, Mojo 2024.8 GA, Pony, Hare, Roc, Hylo, Vale, Inko, Koka, Common Lisp(SBCL), Racket, Tcl 9, Fortran 2023, Modula-3, J, OpenSCA

  2026-05-16 · 33 분 읽기 #programming-languages#crystal#nim#vlang#v

• 함수형 언어 2026 진영 지도 — Haskell, OCaml, Elm, Gleam, Roc, Unison, Lean 4, F#, Clojure 한 번에 정리하는 메타 서베이 ♪ 들을 수 있어요

  함수형 프로그래밍이라는 말로 묶이지만 실제로는 ML 가문, Haskell 가문, BEAM 가문, Lisp 가문, 그리고 신생 라인이 따로 산다. 2026년 5월 기준으로 각 진영이 누구 손에 살아 있고 무엇이 자라며 무엇이 시드는지, 한 권으로 펼쳐 보는 메타 서베이. Jane Street의 OCaml 5 전면 전환, Mercury와 Standard Chartered의 Haskell, Elm

  2026-05-14 · 55 분 읽기 #functional-programming#haskell#ocaml#elm#gleam