타입스크립트 타입시스템이 튜링완전해서


- 플레이그라운드

- Emulating a 4-Bit Virtual Machine in (TypeScriptJavaScript) (just Types no Script)


이딴 짓이 가능.


나중에 C++화가 될수도??




아참 저번에 이쁜 코드와 성능 이야기를 하니 생각난건데 라고

Hakell로 C++ TMP 트랜스파일러 만들면 어떻겠냐는 이야기를 했었는데


실제로 둘을 비교하는 예

- Haskell and C++ TemplateMetaprogramming

- What Does Haskell Have to Do with C++?


하스켈 -> C++ Template 트랜스파일 예제

- Translating Haskell to C++ metaprogramming

- C++ Template Metaprogramming with Embedded Haskell


반대로 C++을 하스켈스럽게

- Haskellizing C++ template metaprogramming


실제로 하스켈 서브셋으로 생성할 수 있는 트랜스파일러

- MetaFun: Compile Haskell-like code to C++ template metaprograms

까지 있더라고요.


한줄 요약.

세상에 똑같은 생각을 하는 사람은 많고, 변태도 많다.