# 함수형 프로그래밍을 넘어서: The Verse 프로그래밍 언어

> Clean Markdown view of GeekNews topic #8020. Use the original source for factual precision when an external source URL is present.

## Metadata

- GeekNews HTML: [https://news.hada.io/topic?id=8020](https://news.hada.io/topic?id=8020)
- GeekNews Markdown: [https://news.hada.io/topic/8020.md](https://news.hada.io/topic/8020.md)
- Type: news
- Author: [xguru](https://news.hada.io/@xguru)
- Published: 2022-12-13T13:24:25+09:00
- Updated: 2022-12-13T13:24:25+09:00
- Original source: [simon.peytonjones.org](https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf)
- Points: 19
- Comments: 0

## Topic Body

- Epic Games가 만드는 메타버스를 위한 오픈 프로그래밍 언어  
### 특징  
- Functional Logic 언어(Curry / Mercury 같은)  
- Declarative  
- lenient but not strict   
- 특이한 Static Type System : Type들은 First-class value임   
- monad를 사용하는 대신 effect system을 가짐

## Comments



_No public comments on this page._