liftIO liftIO

Functional Programming at Work

10월 30일 (토) 13:50 ~ 18:00

liftIO 2021은 함수형 프로그래밍을 좋아하는 사람들이 모여 만든 콘퍼런스입니다.

이번 콘퍼런스의 슬로건인 Functional Programming at Work는 함수형 프로그래밍을 업무에 쓰면서 얻은 지식을 공유하기 위해 정했습니다.

함수형 프로그래밍을 좋아하는 사람들이 함께 모여 지식과 즐거움을 나누는 자리가 되기를 바랍니다.

발표 자료

liftIO 2021 발표 자료를 공유합니다

REPL, 클로저의 수퍼 파워 김상현 발표자료 PDF
연속된 우연으로 꾸려진 개발팀의 함수형 Scala 활용기 김대현 발표자료 PDF
하스켈로 타입 안전한 GraphQL과 gRPC 서버 만들기 김은민 발표자료 PDF
함수형 도메인 주도 설계 구현 박지수 발표자료 PDF
시간표
13:50 ~ 14:00 오프닝 liftIO 준비 위원회
14:00 ~ 14:45 REPL, 클로저의 수퍼 파워 김상현
14:45 ~ 15:30 연속된 우연으로 꾸려진 개발팀의 함수형 Scala 활용기 김대현
15:30 ~ 15:45 쉬는 시간
15:45 ~ 16:30 하스켈로 타입 안전한 GraphQL과 gRPC 서버 만들기 김은민
16:30 ~ 17:15 함수형 도메인 주도 설계 구현 박지수
17:15 ~ 18:00 함수형 프로그래밍에 대한 이런저런 이야기 발표자 및 진행자
18:00 ~ 19:00 네트워킹 시간 (게더 타운)
어떻게 참석하나요?

참가 신청은 festa를 통해 받고 있습니다. 여기를 눌러 신청하세요.

콘퍼런스는 Zoom으로 진행합니다. 발표 영상은 콘퍼런스 이 후 공개하지 않습니다. 꼭 시간을 맞춰 참석해주세요.

줌 링크와 자세한 접속 방법은 발표 1시간 전에 신청하신 분들께 이메일로 전달 드릴 예정입니다.

liftIO 2021에 참여하시는 여러분들의 네트워킹을 위해 게더 타운을 운영합니다.

게더 타운 입장 방법도 참가 신청하신 분들께 이메일로 전달 드릴 예정입니다.

궁금한 점이 있다면 eh@liftio.org로 문의하세요.

세션 소개

1. REPL, 클로저의 수퍼 파워

함수형 프로그래밍 언어인 클로저가 바꿔놓은 개발 경험에 대해 이야기합니다.

불변 자료구조의 단단한 토대 위에서 동작하는 REPL은, 다른 언어에서 경험할 수 없는 동적이고 Responsive한 개발 환경을 제공합니다.

발표는 클로저에 대한 간단한 소개로 시작해, 실제 개발 프로세스와 동적인 개발 경험을 엿볼 수 있는 예제들로 구성됩니다.

또한 이것을 가능케 하는 언어의 철학적 배경을 짚어봅니다.

김상현

김상현

그린랩스

https://github.com/tlonist-sang

함수형 패러다임과 함께 개발자 인생의 2막이 시작되었습니다.

그린랩스의 백엔드 개발자로, 팜모닝 서비스를 개발하고 있습니다. 한국에서 클로져 꽃을 피우기 위한 이런저런 일을 구상 중입니다.

2. 연속된 우연으로 꾸려진 개발팀의 함수형 Scala 활용기

때마침 맡게 된 신규 프로젝트에 Scala로 함수형 프로그래밍을 도입해서 서비스 론칭한 이야기를 풀어봅니다.

스칼라 환경에서 cats, http4s, doobie, circe 같은 함수형 라이브러리를 활용해 프로덕션 서비스를 가꾸어 나가며 배운 내용과 감상도 공유합니다.

더불어, 여러분에 프로젝트에 당장 쉽게 도입해 볼 만한 함수형 프로그래밍 기법들을 감히 나열해 보겠습니다.

김대현

김대현

LINE Plus

https://medium.com/@hatemogi

케케묵은 백엔드 개발자로, 라인플러스 MONAD팀에서 광고 수익 배분 시스템을 개발해 운영하고 있습니다.

건강을 위한 운동으로 동네 한 바퀴 달리기를 시작했으며, 종종 여유를 찾아 불멍, 파도멍, 구름멍을 즐기기도 합니다.

3. 하스켈로 타입 안전한 GraphQL과 gRPC 서버 만들기

Haskell GraphQL/gRPC 라이브러리인 mu-haskell로 GraphQL과 gRPC 서버 구현하는 방법을 소개합니다.

mu-haskell에서 타입 안정성을 확보하기 위해 Haskell type-level 프로그래밍을 어떻게 사용했는지 설명하고

type-level 프로그래밍이 어떤 의미를 가지고 또 실용적인 장점은 무엇이 있는지 살펴봅니다.

김은민

김은민

Constacts

https://github.com/eunmin

Constacts에서 Haskell로 Backend 시스템을 개발하며 CTO가 해야 할 일도 합니다.

다양한 객체 지향 언어와 함수형 프로그래밍 언어로 대규모 서비스를 만들고 운영해 본 경험이 있습니다.

요즘은 취미로 함수형 개발 서적 번역과 산책을 하고 있습니다.

4. 함수형 도메인 주도 설계 구현

스칼라의 함수형 + 객체지향 패러다임은 도메인 주도 설계의 전술적 패턴들과 잘 어울립니다.

ZIO가 제공하는 순수 함수형 이펙트 시스템과 함께 모듈 간 의존성 주입, 오류 처리, 설정 관리 등 실용적 구현 사례를 살펴봅니다.

박지수

박지수

두물머리

https://guersam.com

온라인 자산관리 스타트업 두물머리에서 CTO 역할을 맡고 있습니다.

실제로 유용한 프로그램을 만드는 과정에서 생각보다 많은 임시변통과 유지보수하기 어려운 코드가 작성되는 것에 고통을 느끼다 함수형 프로그래밍에 입문했습니다.

굿즈

콘퍼런스 참가 신청을 하신 분들께 liftio 2021 티셔츠와 스티커를 보내드립니다.

콘퍼런스 신청할 때 배송받을 주소와 티셔츠 사이즈를 정해주세요.

굿즈는 일괄 주문하기 때문에 행사 이후 발송합니다.

주관사

후원사
콘퍼런스 문의

콘퍼런스 문의 또는 후원 문의는 아래 이메일로 연락 주세요.

eh@liftio.org