Franz

Franz이란?

Franz는 간결한 문법과 풍부한 표준 라이브러리를 갖춘 고수준 함수형 인터프리터 언어로, 동적 타입을 지원합니다. 이 언어의 주요 목적은 함수형 프로그래밍 패턴을 지원하면서 효과 관리와 예측 가능한 실행을 위한 도구를 제공하는 것입니다.

이 프로젝트는 프로토타입 지향 언어로 제시되며, 기능 안전 효과와 결정론적 재생을 포함합니다. “엄격한 부수 효과 없음”을 강조하며 IO에 대한 명시적 예외를 두고 있습니다. 또한 LLVM IR을 통해 소스에서 네이티브 실행 파일로의 경로를 제공합니다.

주요 기능

• 함수형 코어와 프로토타입 지향 객체: 작은 함수형 기반과 프로토타입 지향 객체를 사용하여 동작을 모델링하면서 언어를 함수형 구조에 중심을 둡니다.
• 기능 안전 효과와 결정론적 재생: 가져온 Franz 파일에서 효과를 지역화하고 제어할 수 있도록 설계되었습니다.
• 엄격한 부수 효과 없음 (IO 테이블 예외): 언어 모델은 IO 메커니즘을 제외하고 부수 효과를 피하는 것으로 설명됩니다.
• LLVM IR을 통한 네이티브 컴파일: LLVM IR을 사용하여 네이티브 실행 파일로 직접 컴파일을 지원합니다.
• 리스트 리터럴과 LLVM 리스트 연산: [1, "hello", 3.14]와 같은 리스트 리터럴과 중첩 리스트를 포함하며, head, tail, cons, empty?, length, nth, is_list와 같은 연산을 제공합니다.
• 공통 타입에 대한 비교와 연산 기본 기능: 정수, 실수, 문자열에 대한 동등성/순서 연산자 (is, less_than, greater_than)와 remainder, power, random, floor, ceil, round, abs, min, max, sqrt 등의 수학 함수를 제공합니다.
• 제어 흐름과 패턴 유사 조건문: if/when/unless 구조와 패턴 매칭 스타일의 다중 분기를 위한 “cond chains”를 제공합니다.
• 렉시컬 스코핑과 스냅샷 기반 클로저: 정의 시점의 환경에서 변수를 캡처하는 렉시컬 스코핑을 구현하며, 임의 깊이의 중첩 클로저를 지원합니다.
• 가져온 코드에 대한 기능 기반 샌드박싱: use_with()와 use_as() 및 점 표기법을 통해 샌드박스 실행 패턴과 효과 지역화를 사용합니다.

Franz 사용 방법

1. Franz 저장소를 클론하거나 열고, 포함된 README.md와 예제 파일(예: examples/mult-table.franz와 examples/game-of-life.franz)을 확인합니다.
2. 문서에 참조된 표준 라이브러리 모듈(String, Math, List, Func)을 검토하여 내장 함수와 리스트/리스트-콤비네이터 연산을 확인합니다.
3. 저장소 텍스트에 보여주는 렉시컬 스코핑과 클로저 패턴을 따라 클로저가 변수가

대안

• 강력한 타입 시스템을 갖춘 함수형 프로그래밍 언어(예: ML 계열 언어): 예측 가능한 스코핑과 클로저를 갖춘 함수형 문법을 원하지만 LLVM 기반 네이티브 컴파일을 주요 초점으로 필요로 하지 않는 경우.
• 프로토타입 기반 언어(예: 함수형 패턴을 적용한 JavaScript): 프로토타입 지향 객체 모델링에 관심이 있는 경우 유용하지만, Franz에서 설명하는 워크플로와 효과 모델은 다릅니다.
• 함수형 기능을 갖춘 범용 컴파일 언어(예: LLVM을 통해 컴파일되는 언어): LLVM IR 컴파일과 함수형 구문을 원하지만 다른 문법 및 런타임 규칙을 갖춘 생태계를 선호하는 경우.
• 샌드박싱 접근 방식을 사용하는 프로토타이핑용 스크립팅 언어: 빠른 실험과 제어 가능한 실행을 우선시하는 경우(저장소에서 capability-based security 패턴을 다룸), 자체 샌드박스 메커니즘을 제공하는 다른 런타임을 선택할 수 있습니다.