쌓인 기록에서 찾기
무엇을 찾으세요?
날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위부터 2026년 10월 30일 (금)까지3636건
3건 · "함수형 프로그래밍"조건 지우기 ×
001▲ 107 · 댓글 10함수형 언어 Roc, C의 DEFLATE 성능에 8.9% 차까지 접근함수형 프로그래밍 언어 Roc으로 작성한 roc-deflate 패키지가 C로 만들어진 최적화된 DEFLATE 라이브러리 libdeflate와 성능을 비교했다.AI · 머신러닝 · How close can pure functional programming get to C?
Key Point함수형 프로그래밍 언어가 명령형 저수준 언어와의 성능 격차를 얼마나 좁힐 수 있는지 실제로 입증했으며, 메모리 안전성 같은 보장을 위해 치르는 성능 대가가 실제로는 미미할 수 있음을 보여준다.
핵심 요약
- 함수형 프로그래밍 언어 Roc으로 작성한 roc-deflate 패키지가 C로 만들어진 최적화된 DEFLATE 라이브러리 libdeflate와 성능을 비교했다.
- Silesia 코퍼스로 144개 벤치마크를 실행한 결과, Ryzen 3900X 기준 중앙값 8.9%, M1 MacBook Pro 기준 2.6% 느렸다.
- 최악의 경우 18% 느렸지만 특정 입력에서는 18% 빠르기도 했으며, 이는 두 구현의 차이일 뿐 Roc의 성능 한계가 C보다 낮다는 의미다.
전체 요약 10문장 읽기 →웹 · 프론트엔드 · Push ifs up and fors down: The idiom, its algebra, and its limits
Key Point코드의 데이터 흐름과 제어 흐름을 재배열하는 원칙이 단순 휴리스틱을 넘어 범주 이론, 함수형 프로그래밍, 데이터베이스 최적화에 일관되게 적용되는 대수학적 법칙임을 보여주므로, 어디까지 안전하게 리팩토링할 수 있는지 정확히 판단할 근거를 제공한다.
핵심 요약
- '조건을 위로, 반복을 아래로'는 프로그래밍 휴리스틱으로, 조건 분기는 호출자 쪽으로 올리고 반복 루프는 배치 처리 쪽으로 내려 명확성과 성능을 높인다.
- 함수가 입력에 따라 분기한다면 그 분기를 호출자로 옮기는 식으로, Option 대신 Walrus 타입을 받아 선택 사항을 타입으로 표현한다.
- 반복 최적화는 개별 호출 대신 배치 함수를 제공해 핫 루프를 분기 없이 실행하고 벡터화의 후보가 되도록 한다.
전체 요약 10문장 읽기 →오픈소스 · 도구 · Needed 1+1, built a functional programming language
Key Point간단한 산술 과제에서 출발해 메모리 할당, 가비지 컬렉션, 클로저, 함수형 언어까지 스스로 구현해가는 과정에서 핵심 개념들을 실제로 이해하는 방법을 보여준다.
핵심 요약
- 데이터 구조 과제에서 1+1+1을 이진 트리로 평가하는 것에서 출발했다.
- 초기에는 Add, Sub, Mul, Div 등 연산을 모두 다른 경우로 표현했지만, 모두 두 식을 받아 하나를 반환하므로 일반화된 Func 노드로 단순화했다.
- 변수를 추가하려면 해시 테이블이 필요했는데, C에 내장 해시 테이블이 없어서 직접 구현했다.
전체 요약 12문장 읽기 →