Teoria kategorii służy do sformalizowania matematyki i jej pojęć jako zbioru obiektów i strzał (zwanych także morfizmami). Teorię kategorii można wykorzystać do sformalizowania koncepcji innych abstrakcji wysokiego poziomu, takich jak teoria mnogości, teoria pierścieni i teoria grup. (Przez Steve Awodey)
Uczę się języka Haskell i fascynuje mnie język. Nie mam jednak żadnego poważnego doświadczenia matematycznego ani CS. Ale jestem doświadczonym programistą. Chcę nauczyć się teorii kategorii, abym mógł stać się lepszy w Haskell. Których tematów z teorii kategorii powinienem nauczyć się zapewniać...
Zasadniczo mam świadomość trzech podstaw matematyki Ustaw teorię Teoria typów Teoria kategorii Więc w jaki sposób języki programowania i podstawy matematyki są powiązane? EDYTOWAĆ Pierwotne pytanie brzmiało: „Języki programowania oparte na podstawach matematyki” z dodanym paragrafem I...
W tym samym myśleniu, co wypowiedź Andreja Bauera w tej odpowiedzi Społeczność Haskell opracowała szereg technik inspirowanych teorią kategorii, z których najlepiej znane są monady, ale nie należy ich mylić z monadami . Jaki jest związek między funktorami w SML a funktorami w teorii...
Czytając Uday Reddy za odpowiedź na Jaka jest relacja między funktorów w SML i teorii kategorii? Stwierdza Uday Teoria kategorii nie wie jeszcze, jak radzić sobie z funkcjami wyższego rzędu. Pewnego dnia to zrobi. Ponieważ myślałem, że teoria kategorii może służyć jako podstawa matematyki,...
Po nauce języka Haskell i innych niezbyt czystych języków FP postanowiłem przeczytać o teorii kategorii. Po dobrym zrozumieniu teorii kategorii zacząłem myśleć o tym, jak pojęcia teorii kategorii można wykorzystać do projektowania programów, ale bez względu na to, jak bardzo się starałem, nie jest...
Dzisiaj przemówienie Henninga Kerstana („Trace Semantics for Probabilistic Transition Systems”) po raz pierwszy skonfrontowało mnie z teorią kategorii. Zbudował teoretyczne ramy do opisywania probabilistycznych układów przejściowych i ich zachowania w sposób ogólny, tj. Z nieskończenie...
Ciągle słyszę o tym, jak należy nauczyć się teorii kategorii, aby naprawdę zrozumieć teorię języka programowania. Do tej pory nauczyłem się sporo PL bez wchodzenia w sferę kategorii. Uznałem jednak, że nadszedł czas, aby zrobić krok, aby zobaczyć, co straciłem. Niestety, żadne ze źródeł, które...
Pochodzi z perspektywy dużych zbiorów danych. Zasadniczo wiele frameworków (takich jak Apache Spark) „kompensuje” brak operacji relacyjnych, zapewniając interfejsy podobne do Functor / Monad, i podobny ruch w kierunku konwersji kotów na SQL (Slick in Scala). Na przykład, potrzebujemy naturalnego...
W tym pytaniu zapytałem, jaka jest różnica między zestawem a typem . Odpowiedzi te były bardzo precyzyjne (np. @AndrejBauer), dlatego w pogoni za wiedzą poddaję się pokusie zadawania tego samego o kategorie: Za każdym razem, gdy czytam o teorii kategorii (co wprawdzie jest raczej nieformalne), nie...