Lionhairdino
@lionhairdino.bsky.social
하스켈을 공부합니다. haskeller
https://lionhairdino.github.io/
https://lionhairdino.github.io/
Tap anywhere. Meet everyone there.
YearIt is a location-based content hub.
Pin your blog post to any place — and anyone exploring that spot will find it instantly.
#BlogPromotion #ExploreTheWorld
YearIt is a location-based content hub.
Pin your blog post to any place — and anyone exploring that spot will find it instantly.
#BlogPromotion #ExploreTheWorld
February 27, 2026 at 7:11 PM
Tap anywhere. Meet everyone there.
YearIt is a location-based content hub.
Pin your blog post to any place — and anyone exploring that spot will find it instantly.
#BlogPromotion #ExploreTheWorld
YearIt is a location-based content hub.
Pin your blog post to any place — and anyone exploring that spot will find it instantly.
#BlogPromotion #ExploreTheWorld
이어잇에선 (실제 위치 말고) 온라인 상에서 주변에 있으면 대화할 수 있어요. DM이나 귓말 같은 게 없어요. "얘들아 남산 국립 극장에 모여". 그럼 모여서 대화할 수 있긴 해요. 만들고 나서 혼자 피식했습니다.
February 10, 2026 at 2:47 PM
이어잇에선 (실제 위치 말고) 온라인 상에서 주변에 있으면 대화할 수 있어요. DM이나 귓말 같은 게 없어요. "얘들아 남산 국립 극장에 모여". 그럼 모여서 대화할 수 있긴 해요. 만들고 나서 혼자 피식했습니다.
로그인 전에 무슨 서비스인지 둘러볼 수 있어야 한다고 판단해서, 로그인 없이 모든 기능을 쓸 수 있게 바꾸었습니다.
yearit.com
저를 응원해 주시는 분들은, Anywhere에 응원 메시지를 남겨주셔도 좋고,
노트도 만들어 보시고,
다른 사람의 이미지를 클릭해서 바로 댓글도 달아 보세요.
로그인 없이 남긴 컨텐츠들은 3일내로 삭제되니, 마음대로 써보셔도 됩니다.
혹 버그를 발견하시면, 피드백 주시면 감사하겠습니다.
yearit.com
저를 응원해 주시는 분들은, Anywhere에 응원 메시지를 남겨주셔도 좋고,
노트도 만들어 보시고,
다른 사람의 이미지를 클릭해서 바로 댓글도 달아 보세요.
로그인 없이 남긴 컨텐츠들은 3일내로 삭제되니, 마음대로 써보셔도 됩니다.
혹 버그를 발견하시면, 피드백 주시면 감사하겠습니다.
February 9, 2026 at 6:34 AM
로그인 전에 무슨 서비스인지 둘러볼 수 있어야 한다고 판단해서, 로그인 없이 모든 기능을 쓸 수 있게 바꾸었습니다.
yearit.com
저를 응원해 주시는 분들은, Anywhere에 응원 메시지를 남겨주셔도 좋고,
노트도 만들어 보시고,
다른 사람의 이미지를 클릭해서 바로 댓글도 달아 보세요.
로그인 없이 남긴 컨텐츠들은 3일내로 삭제되니, 마음대로 써보셔도 됩니다.
혹 버그를 발견하시면, 피드백 주시면 감사하겠습니다.
yearit.com
저를 응원해 주시는 분들은, Anywhere에 응원 메시지를 남겨주셔도 좋고,
노트도 만들어 보시고,
다른 사람의 이미지를 클릭해서 바로 댓글도 달아 보세요.
로그인 없이 남긴 컨텐츠들은 3일내로 삭제되니, 마음대로 써보셔도 됩니다.
혹 버그를 발견하시면, 피드백 주시면 감사하겠습니다.
어떤 서비스인지 조리있게 설명을 못했었는데요. 네이밍이 정리되니 그나마 조금 나아진 것 같아요.
Drop dots. Leave comments. On maps or images.
yearit.com
Custom Note: 지도, 이미지, 단일 색상 들을 배경으로 개인, 그룹, 공유 노트를 만들 수 있습니다.
World: 세계를 비행기 타고 돌아다니며 어디든 글을 남깁니다.
(개인 커스텀 노트를 홍보할 수 있는 광장입니다.)
Quick Post: 다른 사람의 이미지에 특정 위치를 클릭해서 바로 댓글을 달 수 있습니다.
Drop dots. Leave comments. On maps or images.
yearit.com
Custom Note: 지도, 이미지, 단일 색상 들을 배경으로 개인, 그룹, 공유 노트를 만들 수 있습니다.
World: 세계를 비행기 타고 돌아다니며 어디든 글을 남깁니다.
(개인 커스텀 노트를 홍보할 수 있는 광장입니다.)
Quick Post: 다른 사람의 이미지에 특정 위치를 클릭해서 바로 댓글을 달 수 있습니다.
February 3, 2026 at 6:55 AM
어떤 서비스인지 조리있게 설명을 못했었는데요. 네이밍이 정리되니 그나마 조금 나아진 것 같아요.
Drop dots. Leave comments. On maps or images.
yearit.com
Custom Note: 지도, 이미지, 단일 색상 들을 배경으로 개인, 그룹, 공유 노트를 만들 수 있습니다.
World: 세계를 비행기 타고 돌아다니며 어디든 글을 남깁니다.
(개인 커스텀 노트를 홍보할 수 있는 광장입니다.)
Quick Post: 다른 사람의 이미지에 특정 위치를 클릭해서 바로 댓글을 달 수 있습니다.
Drop dots. Leave comments. On maps or images.
yearit.com
Custom Note: 지도, 이미지, 단일 색상 들을 배경으로 개인, 그룹, 공유 노트를 만들 수 있습니다.
World: 세계를 비행기 타고 돌아다니며 어디든 글을 남깁니다.
(개인 커스텀 노트를 홍보할 수 있는 광장입니다.)
Quick Post: 다른 사람의 이미지에 특정 위치를 클릭해서 바로 댓글을 달 수 있습니다.
yearit.com/note/vintage
개발자들이 골동품 소개하는 노트입니다.
제가 첫 글로 세진 전자 키보드를 올렸습니다. 대부분의 장비는 모두 버려졌는데, 용케 살아 남았네요.
개발자들이 골동품 소개하는 노트입니다.
제가 첫 글로 세진 전자 키보드를 올렸습니다. 대부분의 장비는 모두 버려졌는데, 용케 살아 남았네요.
골동품
개발자들이 자신이 가진 오래된 장비들을 소개, 자랑하는 골동품 가게같은 곳입니다.
yearit.com
January 30, 2026 at 3:14 AM
yearit.com/note/vintage
개발자들이 골동품 소개하는 노트입니다.
제가 첫 글로 세진 전자 키보드를 올렸습니다. 대부분의 장비는 모두 버려졌는데, 용케 살아 남았네요.
개발자들이 골동품 소개하는 노트입니다.
제가 첫 글로 세진 전자 키보드를 올렸습니다. 대부분의 장비는 모두 버려졌는데, 용케 살아 남았네요.
(개인 계정, 이어잇 계정 나눠서 올리다 자주 섞입니다. 당분간 서비스 소식을 주로 올릴 예정이라, 함수형으로 팔로우 해주신분들께 스팸일 것 같아 미리 양해를 구합니다.)
여행가는 느낌 나나요?
yearit.com
여행가는 느낌 나나요?
yearit.com
December 29, 2025 at 4:10 AM
(개인 계정, 이어잇 계정 나눠서 올리다 자주 섞입니다. 당분간 서비스 소식을 주로 올릴 예정이라, 함수형으로 팔로우 해주신분들께 스팸일 것 같아 미리 양해를 구합니다.)
여행가는 느낌 나나요?
yearit.com
여행가는 느낌 나나요?
yearit.com
저와 취향이 겹치는 분(두 키캡을 다 가진 분)?
December 22, 2025 at 8:50 AM
저와 취향이 겹치는 분(두 키캡을 다 가진 분)?
yearit.com
여행 기분내며, 이동하는 동안 멍도 때리고, 여기 저기 낙서하는 서비스입니다.
여러 사정으로 하스켈로 개발하진 못했는데, 언젠가 여건이 되면 서버들을 하스켈로 포팅하고 싶습니다.
#이어잇 #yearit #여행 #낙서
여행 기분내며, 이동하는 동안 멍도 때리고, 여기 저기 낙서하는 서비스입니다.
여러 사정으로 하스켈로 개발하진 못했는데, 언젠가 여건이 되면 서버들을 하스켈로 포팅하고 싶습니다.
#이어잇 #yearit #여행 #낙서
YearIt - Travel the world, doodle your story
Explore the world block by block, leave your mark
yearit.com
November 3, 2025 at 3:23 PM
yearit.com
여행 기분내며, 이동하는 동안 멍도 때리고, 여기 저기 낙서하는 서비스입니다.
여러 사정으로 하스켈로 개발하진 못했는데, 언젠가 여건이 되면 서버들을 하스켈로 포팅하고 싶습니다.
#이어잇 #yearit #여행 #낙서
여행 기분내며, 이동하는 동안 멍도 때리고, 여기 저기 낙서하는 서비스입니다.
여러 사정으로 하스켈로 개발하진 못했는데, 언젠가 여건이 되면 서버들을 하스켈로 포팅하고 싶습니다.
#이어잇 #yearit #여행 #낙서
세상을 Discrete 하게, 샘플링한다면, State와 새로운 입력의 구별이 없다.
이전 샘플링 결과에 어떤 작업을 적용해서 다음 샘플링으로 넘어갈 뿐이다.
이전 샘플링 결과에 어떤 작업을 적용해서 다음 샘플링으로 넘어갈 뿐이다.
October 2, 2025 at 1:27 PM
세상을 Discrete 하게, 샘플링한다면, State와 새로운 입력의 구별이 없다.
이전 샘플링 결과에 어떤 작업을 적용해서 다음 샘플링으로 넘어갈 뿐이다.
이전 샘플링 결과에 어떤 작업을 적용해서 다음 샘플링으로 넘어갈 뿐이다.
함수를 값에 적용하는 작업을 함수, 값으로만 나누는 게 아니라, 적용도 따로 분리한다.
함수, 값, "적용"
주인공 같은 함수, 값에 가려 조연 같던 "적용"을 주연으로 끌어 올려 다양한 구현과 일반화를 시도하다 보면 Applicatives, 모나드, Arrow 다 튀어 나온다.
#함수형 #하스켈 #Applicatives
함수, 값, "적용"
주인공 같은 함수, 값에 가려 조연 같던 "적용"을 주연으로 끌어 올려 다양한 구현과 일반화를 시도하다 보면 Applicatives, 모나드, Arrow 다 튀어 나온다.
#함수형 #하스켈 #Applicatives
February 26, 2025 at 12:58 PM
함수를 값에 적용하는 작업을 함수, 값으로만 나누는 게 아니라, 적용도 따로 분리한다.
함수, 값, "적용"
주인공 같은 함수, 값에 가려 조연 같던 "적용"을 주연으로 끌어 올려 다양한 구현과 일반화를 시도하다 보면 Applicatives, 모나드, Arrow 다 튀어 나온다.
#함수형 #하스켈 #Applicatives
함수, 값, "적용"
주인공 같은 함수, 값에 가려 조연 같던 "적용"을 주연으로 끌어 올려 다양한 구현과 일반화를 시도하다 보면 Applicatives, 모나드, Arrow 다 튀어 나온다.
#함수형 #하스켈 #Applicatives
함수를, [있을지 없을지 모르는] 값에 적용할 때 펑터 를 쓰고,
[있을지 없을지 모르는] 함수를, [있을지 없을지 모르는] 값에 적용할 때 #Applicatives 를 쓴다.
(+1)을 Just 1에 적용
Just (+1)을 Just 1에 적용
연산자를 잘 정의하면, 둘 다
(+1)을 1에 적용
과 비슷한 모양을 만들 수 있다.
실무에선, 이들을 비슷한 모양이 되게 할 수 있음이 중요하다.
[있을지 없을지 모르는] 함수를, [있을지 없을지 모르는] 값에 적용할 때 #Applicatives 를 쓴다.
(+1)을 Just 1에 적용
Just (+1)을 Just 1에 적용
연산자를 잘 정의하면, 둘 다
(+1)을 1에 적용
과 비슷한 모양을 만들 수 있다.
실무에선, 이들을 비슷한 모양이 되게 할 수 있음이 중요하다.
February 21, 2025 at 5:28 AM
함수를, [있을지 없을지 모르는] 값에 적용할 때 펑터 를 쓰고,
[있을지 없을지 모르는] 함수를, [있을지 없을지 모르는] 값에 적용할 때 #Applicatives 를 쓴다.
(+1)을 Just 1에 적용
Just (+1)을 Just 1에 적용
연산자를 잘 정의하면, 둘 다
(+1)을 1에 적용
과 비슷한 모양을 만들 수 있다.
실무에선, 이들을 비슷한 모양이 되게 할 수 있음이 중요하다.
[있을지 없을지 모르는] 함수를, [있을지 없을지 모르는] 값에 적용할 때 #Applicatives 를 쓴다.
(+1)을 Just 1에 적용
Just (+1)을 Just 1에 적용
연산자를 잘 정의하면, 둘 다
(+1)을 1에 적용
과 비슷한 모양을 만들 수 있다.
실무에선, 이들을 비슷한 모양이 되게 할 수 있음이 중요하다.
1 + 2 = 4
위 식이 성립하게 바꾸는 방법은?
왼쪽에 1을 더하거나, 오른쪽에 1을 빼거나.
한가지 방법이 더 있다.
=을 항상 왼쪽에 +1을 하고 같은지 보도록 다시 정의하면 된다.
헛갈리지 않게 다시 정의한 걸 += 로 표시하면,
1 + 2 += 4
는 성립한다.무슨 시덥지 않은 소리인가 싶을텐데,
실제로 #하스켈 에서 자주 일어나는 일이다.
위 식이 성립하게 바꾸는 방법은?
왼쪽에 1을 더하거나, 오른쪽에 1을 빼거나.
한가지 방법이 더 있다.
=을 항상 왼쪽에 +1을 하고 같은지 보도록 다시 정의하면 된다.
헛갈리지 않게 다시 정의한 걸 += 로 표시하면,
1 + 2 += 4
는 성립한다.무슨 시덥지 않은 소리인가 싶을텐데,
실제로 #하스켈 에서 자주 일어나는 일이다.
February 20, 2025 at 5:35 AM
1 + 2 = 4
위 식이 성립하게 바꾸는 방법은?
왼쪽에 1을 더하거나, 오른쪽에 1을 빼거나.
한가지 방법이 더 있다.
=을 항상 왼쪽에 +1을 하고 같은지 보도록 다시 정의하면 된다.
헛갈리지 않게 다시 정의한 걸 += 로 표시하면,
1 + 2 += 4
는 성립한다.무슨 시덥지 않은 소리인가 싶을텐데,
실제로 #하스켈 에서 자주 일어나는 일이다.
위 식이 성립하게 바꾸는 방법은?
왼쪽에 1을 더하거나, 오른쪽에 1을 빼거나.
한가지 방법이 더 있다.
=을 항상 왼쪽에 +1을 하고 같은지 보도록 다시 정의하면 된다.
헛갈리지 않게 다시 정의한 걸 += 로 표시하면,
1 + 2 += 4
는 성립한다.무슨 시덥지 않은 소리인가 싶을텐데,
실제로 #하스켈 에서 자주 일어나는 일이다.
#하스켈 함수를 받으면, 그 함수를 수정할 수 있는 방법은 없습니다. 입력값, 결과값을 변형하는 함수를 합성하는 방법만 있습니다. a -> d 란 함수가 있을 때, a -> b -> c -> d 일지, a -> b -> d 일지 알 수 없습니다. 다른 말로 하면, 함수를 받는 입장에선 a ->... -> d 와 a -> d는 같습니다.
February 20, 2025 at 1:26 AM
#하스켈 함수를 받으면, 그 함수를 수정할 수 있는 방법은 없습니다. 입력값, 결과값을 변형하는 함수를 합성하는 방법만 있습니다. a -> d 란 함수가 있을 때, a -> b -> c -> d 일지, a -> b -> d 일지 알 수 없습니다. 다른 말로 하면, 함수를 받는 입장에선 a ->... -> d 와 a -> d는 같습니다.
λ람다함수는 단순히 이름없는 함수가 아니다.
f의 결과를 이어지는 g와 h에서 각 각 가져다 쓴다면,
람다 헤드에 있는 매개 변수에 바인딩할 수 있다.
λx -> (λr -> h (g r) r) (f x)
f의 결과를 λr에 바인딩해서 g, h에서 모두 쓸 수 있게 됐다.
#하스켈
f의 결과를 이어지는 g와 h에서 각 각 가져다 쓴다면,
람다 헤드에 있는 매개 변수에 바인딩할 수 있다.
λx -> (λr -> h (g r) r) (f x)
f의 결과를 λr에 바인딩해서 g, h에서 모두 쓸 수 있게 됐다.
#하스켈
February 7, 2025 at 5:16 AM
λ람다함수는 단순히 이름없는 함수가 아니다.
f의 결과를 이어지는 g와 h에서 각 각 가져다 쓴다면,
람다 헤드에 있는 매개 변수에 바인딩할 수 있다.
λx -> (λr -> h (g r) r) (f x)
f의 결과를 λr에 바인딩해서 g, h에서 모두 쓸 수 있게 됐다.
#하스켈
f의 결과를 이어지는 g와 h에서 각 각 가져다 쓴다면,
람다 헤드에 있는 매개 변수에 바인딩할 수 있다.
λx -> (λr -> h (g r) r) (f x)
f의 결과를 λr에 바인딩해서 g, h에서 모두 쓸 수 있게 됐다.
#하스켈
하스켈 공부를 시작하고, 펑터를 슬슬 쓰기 시작하면서, Applicative 로 넘어갈 무렵에 볼만한 글입니다. 컨텍스트란 말이 편해지면, 펑터 다음 진도에 도움이 많이 됩니다.
최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.
lionhairdino.github.io/posts/2020-0...
#하스켈 #Haskell #컨텍스트 #Applicative #Traversable #traverse
최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.
lionhairdino.github.io/posts/2020-0...
#하스켈 #Haskell #컨텍스트 #Applicative #Traversable #traverse
컨텍스트, Applicative 펑터, Traversable
맥락같은 모호한 설명을 하려는 문서가 아닙니다. 하스켈 펑터에서 컨텍스트는 펑터 타입에 접근할 때 항상 동작하는 코드를 의미합니다.
lionhairdino.github.io
January 13, 2025 at 1:49 PM
하스켈 공부를 시작하고, 펑터를 슬슬 쓰기 시작하면서, Applicative 로 넘어갈 무렵에 볼만한 글입니다. 컨텍스트란 말이 편해지면, 펑터 다음 진도에 도움이 많이 됩니다.
최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.
lionhairdino.github.io/posts/2020-0...
#하스켈 #Haskell #컨텍스트 #Applicative #Traversable #traverse
최근 펑터를 공부하면서, 펑터가 달리 보여 5년전 글의 컨텍스트, Applicative, Traversable 내용을 보강해 봤습니다.
lionhairdino.github.io/posts/2020-0...
#하스켈 #Haskell #컨텍스트 #Applicative #Traversable #traverse
예전 펑터 글에 "펑터 값을 프리미티브한 값처럼 쓰고 싶다"라는 목표를 먼저 세우고, `<$>`와 `<*>`등을 살펴보는 내용을 추가했습니다.
lionhairdino.github.io/posts/2023-0...
#하스켈 #펑터 #Haskell #Functor
lionhairdino.github.io/posts/2023-0...
#하스켈 #펑터 #Haskell #Functor
한 번쯤 나올 법 했는데, 아직 없었던 펑터 이야기
수학에서 말하는 펑터가 하스켈에 어떤 모양, 어떤 이유로 들어왔는지 상상해본 글입니다.
lionhairdino.github.io
January 11, 2025 at 11:58 AM
예전 펑터 글에 "펑터 값을 프리미티브한 값처럼 쓰고 싶다"라는 목표를 먼저 세우고, `<$>`와 `<*>`등을 살펴보는 내용을 추가했습니다.
lionhairdino.github.io/posts/2023-0...
#하스켈 #펑터 #Haskell #Functor
lionhairdino.github.io/posts/2023-0...
#하스켈 #펑터 #Haskell #Functor
몇 일 전 올렸던 #프리모나드 글에 이어지는, 아주 아주 간단한 #DSL 예시 올렸습니다.
lionhairdino.github.io/posts/2024-1...
#하스켈 #Free모나드 #모나드 #함수형
lionhairdino.github.io/posts/2024-1...
#하스켈 #Free모나드 #모나드 #함수형
Free 모나드 DSL 예시
프리 모나드의 개념과 정의를 익힌 후, 실제 DSL을 만들어 보는 예시입니다.
lionhairdino.github.io
December 23, 2024 at 3:30 AM