۱ مطلب با این برچسب
پروژه‌ی catlang یک زبان برنامه‌نویسی تجربی است که کدهای خود را با عبور از مفاهیم نظریه مقولات (Category Theory) و ایجاز Arrowها، به یک کوئری عظیم SELECT در SQL کامپایل می‌کند. این پروژه نشان می‌دهد که چطور ساختارهای انتزاعی ریاضی می‌توانند به عنوان واسطه‌ای برای اهداف کامپایل غیرمتعارف به کار گرفته شوند.