본문으로 건너뛰기
J
피드

Datafun – Datalog를 일반화한 함수형 언어

open-source 약 2분
tags
#functional-programming#datalog#programming-languages#fixed-points#type-systems
vote
0
댓글
북마크

Datalog를 일반화한 순수 함수형 언어 Datafun 소개. 반격자 위 단조 사상의 고정점을 선언적으로 계산하는 것이 핵심이며, 반순진 평가를 통한 성능 최적화 연구도 진행됨.

  • 1

    반격자 위 단조 사상의 고정점을 선언적으로 계산

  • 2

    POPL 2020에서 반순진 평가 일반화 논문 발표

  • 3

    Racket으로 약 60줄 미니 구현 제공

  • 4

    모달 타입 시스템 연구는 미완성

  • Datafun은 Neel Krishnaswami와 함께 만든 순수(pure) 함수형 언어로, Datalog를 일반화한 것임
  • 핵심 기능은 반격자(semilattice) 위의 단조 사상(monotone map)에 대한 고정점(fixed point)을 선언적으로 계산할 수 있다는 것임
  • ICFP 2016 논문에서 처음 소개됐고, Strange Loop 2017에서도 발표된 바 있음
  • POPL 2020 논문에서는 내부 루프를 점진화(incrementalizing)해 고정점을 더 빠르게 찾는 방법을 제시했는데, 이는 Datalog의 반순진 평가(seminaive evaluation)를 일반화한 것임
  • Racket으로 약 60줄 만에 구현한 미니 버전도 있어서, 집합 컴프리헨션과 고정점을 포함하지만 단조성 검사나 반순진 평가는 빠져 있음
  • 단조성을 더 유연하게 다루기 위한 모달 타입 시스템(modal type system) 연구도 진행했으나, 끝내 완성·출판되지 못함

Datalog의 한계를 함수형 프로그래밍으로 확장하려는 학술적 시도로, 점진적 계산과 타입 시스템 연구가 병행되고 있음.

prev

이전 기사 (P)

next

다음 기사 (N)

댓글

댓글

댓글을 불러오는 중...

관련 기사

open-source

위키피디아에도 빅테크식 반노조 플레이북이 들어왔다

위키미디어 재단이 5월 열흘 사이 MediaWiki 장기 핵심 개발자를 해고하고, 자원봉사 편집자 요청을 처리하던 Community Tech 팀을 해산했다는 비판 글이다. 해고된 인력 상당수가 노조 조직 활동과 연결돼 있었고, 위키피디아 편집자들은 연대 파업까지 거론하고 있다. 재단은 2억9660만 달러의 준비금과 빠르게 성장하는 AI 대상 API 매출을 갖고 있어, 이 사안이 단순 비용 절감으로 보기 어렵다는 게 글의 핵심이다.

open-source

캘리포니아, 연령 확인법에서 리눅스 빼려는 수정안 추진

캘리포니아가 운영체제에 사용자 나이 확인을 요구하는 법안에서 대부분의 오픈소스 운영체제를 제외하는 수정안을 추진 중이다. 데비안, 페도라, 우분투, 아치, 리눅스 민트 같은 배포판은 빠질 가능성이 커졌지만, 스팀OS처럼 독점 앱 생태계와 연결된 플랫폼은 여전히 애매한 상태다.

open-source

마이크로소프트, 45년 전 86-DOS 소스코드를 오픈소스로 공개

마이크로소프트가 86-DOS 1.00 출시 45주년에 맞춰 지금까지 발견된 것 중 가장 오래된 DOS 소스코드를 공개했어. 팀 패터슨의 차고에 있던 도트 매트릭스 출력물을 스캔하고 옮겨 적어, 원본 바이너리와 바이트 단위로 동일하게 다시 컴파일되는 수준까지 복원한 게 포인트야.

open-source

밤부 랩, AGPLv3 위반 논란으로 오픈소스 커뮤니티와 충돌

3D 프린터 제조사 밤부 랩이 AGPLv3 라이선스 위반 논란에 휘말렸고, Software Freedom Conservancy가 두 건의 위반 사례를 확인했다는 내용이야. Louis Rossmann과 Gamers Nexus는 관련 개발자의 법적 방어를 위해 2만달러를 기부했고, 갈등의 핵심은 오픈소스 기반 생태계를 클라우드와 DRM으로 점점 닫아가려는 움직임이야.

open-source

플리퍼, 리눅스 기반 확장형 기기 '플리퍼 원' 공개

플리퍼가 기존 플리퍼 제로를 대체하는 후속작이 아니라, 리눅스 기반 네트워킹·확장형 기기인 플리퍼 원을 공개했어. RK3576 8코어 ARM 칩, 와이파이 6E, 듀얼 이더넷, NVMe, HDMI 4K 120Hz까지 넣으면서 장난감 같은 해킹 도구에서 훨씬 범용적인 리눅스 장비 쪽으로 방향을 넓히는 그림이야.