3주 전 · software

ty: Astral이 만든 천둥같이 빠른 Python Type Checker (Ruff & uv 제작자)

ty: Astral이 만든 번개처럼 빠른 Python Type Checker. Astral은 Ruff(https://github.com/astral-sh/ruff)와 uv와 같은 인기 있는 Python 도구를 만든 회사입니다.

1개월 전 · software

Koka.py: 파이썬에서 타입 검사된 의존성 주입 및 오류 처리

Effect-TS, ZIO, 그리고 Koka 언어에서 영감을 받은 대수 효과 탐구 문제: Python의 숨겨진 의존성 및 예외, 모든 개발자가 겪는 문제.