PureScript 정적 유형 함수 언어인 PureScript의 환경 구성[WSL2/2021년 9월ver.] 빗속에서 경치가 비치다 고요하다 또 다른 세상이 있어요. ― 오나가치 겐지로(大江健三郞) <이 소설가의 방법>(신조사) Ubuntu 20.04 LTS(WSL2) PureScript 0.14.4 다음 공식 설명서를 참조하여 PureScript 환경을 구성합니다. Getting Started with PureScript 먼저 전 세계에 PureScript를 설치합니다. terminal path를... PureScripttech Steve Awodey. Category Theory 읽기 PureScript 쓰기 [처음(?)・제2장] 대상 A와 B의 적은 P와 p이다1:P\rightarrow A p_2:P\rightarowA, 그룹, 임의의 객체 X 및 x를 생성합니다.1:X\rightarrow A,x_2: X\rightarowB의 경우 고유 발사 u:X\rightarow P에 x 있음1 = p_1\circ u,x_2 = p_2\circu만족 "A와 B의 직접적 축적 P는 A의 요소인 a와 B의 요소인 b에 대해 유일한 ... PureScripttech
정적 유형 함수 언어인 PureScript의 환경 구성[WSL2/2021년 9월ver.] 빗속에서 경치가 비치다 고요하다 또 다른 세상이 있어요. ― 오나가치 겐지로(大江健三郞) <이 소설가의 방법>(신조사) Ubuntu 20.04 LTS(WSL2) PureScript 0.14.4 다음 공식 설명서를 참조하여 PureScript 환경을 구성합니다. Getting Started with PureScript 먼저 전 세계에 PureScript를 설치합니다. terminal path를... PureScripttech Steve Awodey. Category Theory 읽기 PureScript 쓰기 [처음(?)・제2장] 대상 A와 B의 적은 P와 p이다1:P\rightarrow A p_2:P\rightarowA, 그룹, 임의의 객체 X 및 x를 생성합니다.1:X\rightarrow A,x_2: X\rightarowB의 경우 고유 발사 u:X\rightarow P에 x 있음1 = p_1\circ u,x_2 = p_2\circu만족 "A와 B의 직접적 축적 P는 A의 요소인 a와 B의 요소인 b에 대해 유일한 ... PureScripttech