«category-theory» 태그된 질문

나는 Haskell을 배우고 있으며 언어에 매료되어 있습니다. 그러나 나는 심각한 수학 또는 CS 배경이 없습니다. 그러나 저는 숙련 된 소프트웨어 프로그래머입니다. 하스켈에서 더 나아질 수 있도록 카테고리 이론을 배우고 싶습니다. 하스켈을 이해하기위한 좋은 기초를 제공하기 위해 카테고리 이론의 어떤 주제를 배워야합니까?

118 programming-languages  functional-programming  category-theory 

기본적으로 저는 수학의 세 가지 기초를 알고 있습니다 이론 설정 유형 이론 카테고리 이론 그렇다면 프로그래밍 언어와 수학의 기초는 어떤 방식으로 관련되어 있습니까? 편집하다 원래 질문은 "수학 기초에 기초한 프로그래밍 언어"였습니다. 추가 된 paragarph와 함께 이론의 구현 1. Coq 의 이론 유형 2. SETL의 이론 설정 3. Haskell의 범주 이론 …

30 programming-languages  history  type-theory  category-theory 

이 답변 에서 Andrej Bauer의 진술과 같은 생각을 따라 Haskell 커뮤니티는 카테고리 이론에서 영감을 얻은 여러 기술을 개발했으며, 그 중 모나드 는 가장 잘 알려져 있지만 모나드 와 혼동해서는 안됩니다 . 사이의 관계를 무엇입니까 펑 SML과 펑 분류 이론은? Haskell 또는 OCaml과 같은 다른 언어의 펑터에 대한 세부 정보를 모르기 …

24 programming-languages  functional-programming  category-theory 

읽기에서 우다이 레디의 대답 에 SML에서 펑터 및 카테고리 이론 사이의 관계는 무엇입니까? 우데이 주 카테고리 이론은 아직 고차 함수를 다루는 방법을 모른다. 언젠가는 그럴 것이다. 카테고리 이론이 수학의 기초가 될 수 있다고 생각 했으므로 모든 수학 및 고차 함수를 도출 할 수 있어야합니다. 그렇다면 카테고리 이론이 의미하는 바는 아직 …

22 functional-programming  category-theory 

Haskell과 그 밖의 순수한 FP 언어를 배우고 나서 나는 범주 이론에 대해 읽기로 결정했습니다. 카테고리 이론을 잘 이해 한 후에는 카테고리 이론의 개념을 사용하여 프로그램 설계 에 대해 어떻게 생각할 수 있는지에 대해 생각하기 시작했습니다 . 범주 이론을 프로그램 설계 와 관련시키려는 많은 시도가 실패한 후 나는 다음과 같은 결론에 …

21 functional-programming  category-theory 

오늘, Henning Kerstan ( "추적 전이 시스템에 대한 추적 의미론")의 연설이 처음으로 범주 이론에 직면했습니다. 그는 확률 적 전이 시스템과 그들의 행동을 일반적인 방식, 즉 셀 수없이 무한한 상태 세트와 다른 트레이스 개념으로 설명하기위한 이론적 프레임 워크를 구축했습니다. 이를 위해 그는 여러 추상화 계층을 거쳐 마침내 모나드 (monad) 라는 개념으로 …

18 applied-theory  category-theory 

프로그래밍 언어 이론을 진정으로 이해하기 위해 범주 이론을 배워야하는 방법에 대해 계속 듣고 있습니다. 지금까지 나는 범주 영역으로 들어 가지 않고 많은 PL을 배웠습니다. 그러나, 내가 잃어버린 것을보기 위해 도약 할 시간이라고 생각했습니다. 불행히도, 내가 찾을 수있는 소스 중 어느 것도 유형 시스템이나 프로그래밍에 연결되지 않는 것 같습니다. 그들은 말 …

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

빅 데이터 관점에서 비롯됩니다. 기본적으로 많은 프레임 워크 (Apache Spark와 같은)는 Functor / Monad와 같은 인터페이스를 제공하여 관계형 작업의 부족을 "보상"하고 cats-to-SQL 변환 (Slick in Scala)으로 유사한 움직임이 있습니다. 예를 들어, SQL 관점에서 벡터의 요소 별 곱셈을 위해서는 자연스런 조인 (인덱스에 대한 반복이 없다고 가정)이 필요 합니다. 이는 범주 이론의 …

12 relational-algebra  category-theory  curry-howard 

이 질문에서 set과 type의 차이점이 무엇인지 물었습니다 . 이 답변은 실제로 명확 해졌습니다 (예 : @AndrejBauer). 지식에 대한 갈증으로 카테고리에 대해 같은 것을 묻는 유혹에 복종합니다. 범주 이론에 대해 읽을 때마다 (비공식적 임), 이론이 이론과 어떻게 다른지 구체적으로 이해할 수는 없습니다 . 그래서 대부분의 콘크리트 정확히 무엇을 수행하는지는 가능한 방법, …

11 sets  category-theory