히바리 쿄야 와 함께 하는 Developer Cafe

모나드는 순서가 있는 연산을 처리하는데 사용하는 디자인 패턴이다. 모나드는 순수 함수형 프로그래밍 언어에서 부작용을 관리하기 위해 광범위하게 사용되며 복합 체계 언어에서도 복잡도를 제어하기 위해 사용된다. 모나드는 타입으로 감싸 빈 값을 자동으로 전파하거나(Maybe 모나드) 또는 비동기 코드를 단순화(Continuation 모나드) 하는 등의 행동을 추가하는 역할을 한다. 모나드를 고려하고 있다면 코드의 구조가 다음 세가지 조건을 만족해야 한다. 타입 생성자 – 기초 타입을 위한 모나드화된 타입을 생성하는 기능. 예를 들면 기초 타입인 number를 위해 Maybe 타입을 정의하는 것. unit 함수 – 기초 타입의 값을 감싸 모나드에 넣음. Maybe 모나드가 number 타입인 값 2를 감싸면 타입..

NOTE ​ 제네릭 ​ * 컴파일시 타입 안정성을 보장 * 캐스팅 관련 코드 제거 ​ function add(a: T, b: T) { return Num(a) + Num(b); } let a = 3; let b = 4; let result = add(a, b); console.log(result); 가 타입 매개변수 라고 함 T 대신에 다른 문자 사용해도 상관 없다 ​ 타입 상속을 이용한 방법 ​ function add(a: T, b: T) { return a + b; } 오버 로딩을 이용한 방법 ​ function add(a: T, b: T) T; function add(a: k, b: k) { return a + b; } ​ (a: 최종타입1, b: 최종타입2, ...) { } ​

​ 함수형 프로그램은 함수와 선언형 프로그래밍의 함수 조합과 모나드 조합 으로 코드를 설계 하고 구현하는 기법 ​ 타입스크립트 제네릭 구문 ​ function g1(a: T): void {} function g2(a: T, b: Q): void {} ​ ​ # Compose compose는 컨베이어 벨트라고 생각하면 된다. 일련의 함수들(=컨베이어 벨트의 기계들)이 나열되어 있고, 데이터(=조립할 대상)이 컨베이어 벨트에 input되는 것이다. 그러면 1번 함수가 input 받아 데이터에 변형을 가한 뒤, 2번 함수에게 전달하고, 2번 함수는 1번 함수의 결과물 데이터를 input 받아 함수 실행 후 output을 3번 함수에게 전달한다. 이렇게 일련의 과정을 거친 후에 최종적으로 원하는 결과물을 리턴시..

타입스크립트 세팅 scoop 설치 윈도우 파워쉘 관리자 모드 에서 명령어 입력 Set-ExecutionPolicy RemoteSigned -scope CurrentUser -> 명령어 실행후 a 입력 $env:SCOOP='C:\Scoop' iex (new-object net.webclient).downloading('https://get.scoop.sh') scoop install aria2 scoop install git vscode 설치 scoop bucket add extras scoop install vscode nodeJs 설치 scoop install nodejs-lts node -v 구글 크롬 브라우저 설치 scoop install googlechrome chrome vscode 터미널 창에..