Запитання з тегом «category-theory»

Я вивчаю Haskell і мене захоплює мова. Однак у мене немає серйозного математичного або CS курсу. Але я досвідчений програмний програміст. Я хочу вивчити теорію категорій, щоб я міг стати кращим у Haskell. Які теми в теорії категорій я повинен навчитися, щоб забезпечити хорошу основу для розуміння Хаскелла?

118 programming-languages  functional-programming  category-theory 

В основному я знаю три основи математики Теорія множин Теорія типів Теорія категорій Тож якими способами пов'язані мови програмування та основи математики? EDIT Первісне питання було "Мови програмування на основі математики" з доданим парагарфом І реалізація теорії 1. Теорія типів у Coq 2. Теорія множин у SETL 3. Теорія категорій …

30 programming-languages  history  type-theory  category-theory 

З тієї ж думки , як ця заява по Andrej Bauer в цьому відповіді Громада Хаскелла розробила низку методик, натхнених теорією категорій, з яких монади найбільш відомі, але не повинні плутати їх з монадами . Яке співвідношення між функторами в SML та функторами в теорії категорій? Оскільки я не знаю …

24 programming-languages  functional-programming  category-theory 

Читаючи Удай Редді відповідь на Що таке співвідношення між функторів в SML і теорії категорій? Удай штати Теорія категорій ще не знає, як поводитися з функціями вищого порядку. Якогось дня, буде. Як я вважав, теорія категорій може слугувати основою математики, тоді слід мати можливість отримати всі математичні функції та вищі …

22 functional-programming  category-theory 

Вивчивши Haskell та інші не такі чисті мови FP, я вирішив прочитати про теорію категорій. Отримавши гарне розуміння теорії категорій, я почав думати про те, як поняття теорії категорій можна використовувати для роздуму над розробкою програм, але як би я не намагався, здається, це не шлях. Провівши багато невдалих спроб …

21 functional-programming  category-theory 

Сьогодні розмова Геннінга Керстана ("Семантика слідів для імовірнісних перехідних систем") вперше зіткнулася з теорією категорій. Він створив теоретичну основу для опису імовірнісних перехідних систем та їх поведінки загалом, тобто з незліченними нескінченними наборами стану та різними уявленнями про сліди. З цією метою він проходить через кілька шарів абстракції, щоб нарешті …

18 applied-theory  category-theory 

Я постійно чую, як треба вивчити теорію категорій, щоб справді зрозуміти теорію мови програмування. Поки що я навчився великій кількості PL, не вступаючи ніколи в сферу категорій. Однак я подумав, що настав час зробити стрибок, щоб побачити, чого я пропустив. На жаль, жодне з джерел, які я можу знайти, здається, …

13 reference-request  programming-languages  type-theory  category-theory 

Це відбувається з точки зору великих даних. В основному, багато фреймворків (наприклад, Apache Spark) "компенсують" відсутність реляційних операцій, забезпечуючи інтерфейси, подібні до Functor / Monad, і відбувається подібний рух до перетворень котів у SQL (Slick in Scala). Наприклад, нам потрібне природне з'єднання (якщо не бути повторів на індексах) для zip …

12 relational-algebra  category-theory  curry-howard 

У цьому запитанні я запитав, в чому різниця між набором і типом . Ці відповіді були дійсно уточнюючими (наприклад, @AndrejBauer), тому в своїй спразі до знань я піддаюся спокусі запитати те саме про категорії: Кожен раз, коли я читаю про теорію категорій (яка, правда, досить неформальна), я не можу реально …

11 sets  category-theory