# fp

48개의 포스트
post-thumbnail

kotlin과 arrow를 이용한 functional polymorphic programming

kotlin + spring webflux + arrow 를 이용해 functional polymorphic한 architecture로 http server를 구축해보는 실습 코드입니다.githubspring webflux가 사용하고 있는 reactor framewor

2021년 5월 31일
·
0개의 댓글
post-thumbnail

[NEXT_STEP] FINPC 고급 프로그래밍 과정을 시작하다.

[우아한 테크코스를 부산에서?] FINPC U-Space 고급 프로그래밍 과정을 진행하며 배운점과 느낀점, 진행하며 필요에 의해 공부했던 기술들을 정리 하기 위해 작성하였습니다.

2021년 5월 5일
·
0개의 댓글

[TIL] 2월 23일

자바의 정석 14장 스트림 중간연산 : 스트림을 반환최종연산 : 스트림 요소 소모, 스트림이 닫힘, int, boolean, Optional 반환forEach()반환타입이 void로 스트림의요소를 출력하는 용도로 주로 사용됨조건검사 - allMatch(), anyMat

2021년 2월 23일
·
0개의 댓글

[TIL] 2월 22일

다양한 데이터소스(배열, 컬렉션(List, Set, Map)를 표준화된 방법으로 다루기 위한것스트림을 사용한 코드가 간결하고 재사용성도 높다.스트림의 특징스트림을 데이터 소스를 읽기만 하고, 변경하지 않는다. (원본 변경 X, read only)스트림은 Iterator

2021년 2월 22일
·
0개의 댓글
post-thumbnail

PBT로 FP 법칙 확인해보기 - Applicative

Monad를 구성하는 기본수단이 unit과 flatMap이었다면, Applicative는 unit과 map2를 기본수단으로 하는 특질이다.applicative 특질은 그 이름이 시사하는 것처럼 unit + map2 말고도 unit + apply 를 기본수단으로 가지도록

2021년 2월 20일
·
0개의 댓글
post-thumbnail

PBT로 FP 법칙 확인해보기 - Monad

Monad Functor가 map을 가지고 있는 자료 구조들을 일반화한 특질인 것 처럼, Monad는 unit과 flatMap을 가지고 있는 자료구조를 일반화한 특질이다. Monad 만들기 arrow의 kind를 이용해서 Functor를 만들었던 것처럼 monad

2021년 2월 13일
·
0개의 댓글
post-thumbnail

PBT로 FP 법칙 확인해보기 - Functor

우리는 함수형 프로그래밍 패러다임을 지원하는 많은 언어에서 다양한 자료 구조에 대해 map 함수를 지원하는 것을 알고 있다. 이러한 이른바 "map 함수를 구현하는 자료 구조"를 일반화한 특질을 Fucntor라고 부른다.functor는 어떤 형식(type)에 대한 것이

2021년 2월 11일
·
0개의 댓글

PBT로 FP 법칙 확인해보기 - 모노이드

깃헙 코드 바로가기하나의 모노이드는 다음과 같은 요소들로 구성된다.어떤 형식 AA 형식의 값 2개를 받아서 하나의 값을 산출하는 결합적 이항 연산 op.이 연산 op에 대한 한등원 zero.그리고 op는 아래와 같은 결합 법칙을 만족해야 한다.그리고 항등원 zero는

2021년 2월 8일
·
0개의 댓글
post-thumbnail

2021.1.20 TIL

순수함수가 무엇인지 대하여 꽤나 고민을 했었다. 동일한 입력을 넣으면 동일한 출력을 하는 함수로 생각을 했었는데, 이런 함수라도 사이드 이펙트가 있을 수 있기에 좀 더 구체적인 순수함수의 정의에 대하여 생각하며 내린 결론은 "매개변수에만 의존하는 값을 반환하는 함수"

2021년 1월 20일
·
0개의 댓글

[TIL] 1월 19일

어제 미션구현 중 유일하게 완성한 코드 한줄 Predicate isFactor = potentialFactor -> number % potentialFactor == 0;함수형 인터페이스의 타입을 가진 참조변수에 람다식을 담은 의미는 무엇일까람다식은 익명 객체이다.

2021년 1월 19일
·
0개의 댓글

[Modern Java] 자바 함수 (람다, 메소드 참조)

Modern Java가 등장하면서 객체지향 프로그래밍과 함수형 프로그래밍이 함께 공존하게 되었다. 두 프로그래밍의 차이를 알아보자!

2021년 1월 1일
·
0개의 댓글

HMAC 구현해보기 (feat. 함수형 프로그래밍)

HMAC을 직접 구현해보고 적용하였다..! 처음에 생성 과정을 봤을 때는 이게 뭔가 싶었는데 지금은 이해를 다 하고 있으니까 생각보다 쉽게 코드로 구현할 수 있었다. 그래서 마스터 세션에서 본 함수형 프로그래밍도 나름대로 적용해보고 재미있었던 경험이었다.hmac.js

2020년 12월 17일
·
0개의 댓글

FP(Functional Programming) - 모나드를 사용하는 것에 대한 생각(완)

제가 경험한 웹 프로그래밍은 아래 두 케이스 입니다.서버에서 데이터 받아와서 화면 구성하는 일반 web app그래픽 라이브러리를 사용한 특수한 web app한 케이스 씩 살펴 보겠습니다.react를 예로 들면, 도대체 redux-saga는 어떻게 redux에 보내는 a

2020년 10월 30일
·
0개의 댓글

FP(Functional Programming) - 함수

함수는 두 집합 사이의 관계를 설명하는 수학적 개념 입니다. 아래 내용은 알아두면 좋습니다. 뭔가 받아서 뭔가 뱉어낸다의 맥락에선 일맥 상통 합니다.그러나 수학에는 메모리가 없죠. 함수값은 함수값 입니다. 수학에서의 함수는 집합간의 관계를 설명하는 것이기 때문에 함수는

2020년 10월 30일
·
0개의 댓글

FP(Functional Programming) - 수학적 구조와 모나드

모나드에 대해서 "모나드는 endofunctor입니다" 하고 스리슬쩍 넘어갔었는데, 그 부분에 대해서 자세히 얘기해보려 합니다.수학적 대상은 우리가 수학적인 생각을 하면 마주치는 모든 것 입니다.수, 수열, 행렬, 집합, 점, 선, 삼각형, 군, 환, 체, 카테고리 등

2020년 10월 29일
·
0개의 댓글
post-thumbnail

Sum Type (서로소 유니온 타입) 그리고 패턴매칭

일반적으로 우리가 사용하는 타입은 and 로 결합되는 타입입니다.그 예시를 들자면 아래과 같습니다.즉 Person 이라는 타입은 name 과(and) age 로 이루어진 타입이라는 것이죠.이런 타입 방법은 보편적으로 사용되지만, 만약 Alien 이라는 새로운 타입이

2020년 10월 26일
·
0개의 댓글

identity functor

프로그래밍 언어에 존재하는 모든 구체적인 타입은 암시적으로 identity functor로 lifting 되어 있는상태인가?η가 Identity functor인 I를 functor M으로 변환하는 natural transformation 이고이에 해당하는 haskell

2020년 10월 26일
·
0개의 댓글

monadologia.js 제작 후기

모나드에 대한 개념은 꽤 오래 전부터 알고 있었지만, 이렇게 하나하나 이해하며 구현한 적이 없었는데 이런 과정이 이해를 더해주는 것 같아 유익한 경험이었던 것 같다. js에는 이미 함수형 패러다임이 군데군데 녹아 있다. 꼭 monad라고 명칭 하지 않지만 monad의

2020년 10월 20일
·
0개의 댓글

FP(Functional Programming) - Task

우리는 이미 익숙한 비동기를 알고 있습니다. 바로 Promise죠return으로 연결되어 있는 모나드들의 mapping 함수는, 비동기 함수는 적용할 수 없습니다.사실 동기, 비동기는 어떻게 해도 같이 혼합 될 수가 없습니다. async await 키워드는 async가

2020년 10월 19일
·
0개의 댓글

FP(Functional Programming) - State

우리는 앞서 reader monad를 볼때 단순히 입력된 상태(config)를 읽어오기만 했는데요, state 모나드는 상태에 따라 다양한 액션을 할 수 있는 모나드 입니다. 상태를 입력 할수도 있고, 수정도 할 수 있고, 상태를 가져와 value를 바꿀수도 있습니다.

2020년 10월 19일
·
0개의 댓글