-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathrss.xml
205 lines (204 loc) · 11.4 KB
/
rss.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"
xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
<title>상상 하스켈</title>
<link>http:///lionhairdino.github.io</link>
<description><![CDATA[하스켈은 재밌는 언어이긴 한데, 어렵습니다. 공부하며 알게된 것들을, 다른 분들과 의견을 나누기 위해 글을 올립니다.]]></description>
<atom:link href="http:///lionhairdino.github.io/rss.xml" rel="self"
type="application/rss+xml" />
<lastBuildDate>Fri, 28 Feb 2025 00:00:00 UT</lastBuildDate>
<item>
<title>Core 언어 둘러 보기 (작성 중)</title>
<link>http:///lionhairdino.github.io/posts/2025-02-28-coreLanguage.html</link>
<description><![CDATA[클래스의 인스턴스를 추론하는 과정을 살펴봤습니다.]]></description>
<pubDate>Fri, 28 Feb 2025 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2025-02-28-coreLanguage.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>크리스마스에는 모나드지</title>
<link>http:///lionhairdino.github.io/posts/2024-12-24-easyMonad.html</link>
<description><![CDATA[모노이드 구조를 먼저 살펴보고, 어떤 구조를 모나드라 부르는지 수학없이 풀어 봤습니다. 용어가 일단 수학 용어이긴 하지만, 최대한 실무에서 보이는 모양으로 풀었습니다.]]></description>
<pubDate>Tue, 24 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-12-24-easyMonad.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>Free 모나드 DSL 예시</title>
<link>http:///lionhairdino.github.io/posts/2024-12-22-freeMonadDSL.html</link>
<description><![CDATA[프리 모나드의 개념과 정의를 익힌 후, 실제 DSL을 만들어 보는 예시입니다.]]></description>
<pubDate>Sun, 22 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-12-22-freeMonadDSL.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>Free 모나드</title>
<link>http:///lionhairdino.github.io/posts/2024-12-15-freeMonadV2.html</link>
<description><![CDATA[왜 이름이 프리 모나드이며, 프리 모나드는 어떤 이펙트를 합성하고 있는지 살펴 봤습니다.]]></description>
<pubDate>Sun, 15 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-12-15-freeMonadV2.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>순수 함수형 패키지 매니저 닉스Nix (스케치 중)</title>
<link>http:///lionhairdino.github.io/posts/2024-12-12-nix.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Thu, 12 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-12-12-nix.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>Nix의 Flake</title>
<link>http:///lionhairdino.github.io/posts/2024-12-02-flake.html</link>
<description><![CDATA[Nix의 Flake를 이용해서 특정 패키지를 덮어 쓰는 방법을 살펴 봤습니다.]]></description>
<pubDate>Mon, 02 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-12-02-flake.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>함수형 프로그래밍(스케치 중)</title>
<link>http:///lionhairdino.github.io/posts/2024-11-28-functional.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Thu, 28 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-11-28-functional.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>Neovim에서 LSP 설정에 쓰이는 플러그인들의 역할</title>
<link>http:///lionhairdino.github.io/posts/2024-11-25-neovimLSP.html</link>
<description><![CDATA[네오빔 LSP 빌트인 클라이언트 설정할 때 쓰이는 플러그인들의 설치 방법이 아닌, 무슨 일을 하는지에 대해서만 정리했습니다.]]></description>
<pubDate>Mon, 25 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-11-25-neovimLSP.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>Modeling Variables with Pure functions (En)</title>
<link>http:///lionhairdino.github.io/posts/2024-11-16-pureFunction_en.html</link>
<description><![CDATA[In Haskell, where only pure functions are allowed and there is no access to unspecified inputs or side effects, we explored how to model information from higher scopes, such as global variables, using pure functions.]]></description>
<pubDate>Sat, 16 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-11-16-pureFunction_en.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>순수 함수로 변수 모델링 (작성 중)</title>
<link>http:///lionhairdino.github.io/posts/2024-11-16-pureFunction.html</link>
<description><![CDATA[입 출력에 명시되지 않은 것에는 접근 불가능한 순수 함수만 있는 하스켈에서, 어떻게 전역 변수 같은 상위 스코프의 정보들을 순수 함수로 모델링하는지 살펴 봤습니다.]]></description>
<pubDate>Sat, 16 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/posts/2024-11-16-pureFunction.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 OrPatterns (작성 예정)</title>
<link>http:///lionhairdino.github.io/extensions/2024-12-18-OrPatterns.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Wed, 18 Dec 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2024-12-18-OrPatterns.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 MonoLocalBinds (스케치 중)</title>
<link>http:///lionhairdino.github.io/extensions/2024-11-19-MonoLocalBinds.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Tue, 19 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2024-11-19-MonoLocalBinds.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 CPP</title>
<link>http:///lionhairdino.github.io/extensions/2024-11-19-CPP.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Tue, 19 Nov 2024 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2024-11-19-CPP.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 RecursiveDo</title>
<link>http:///lionhairdino.github.io/extensions/2023-10-07-RecursiveDo.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Sat, 07 Oct 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-10-07-RecursiveDo.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 GeneralisedNewtypeDeriving (GeneralizedNewtypeDeriving) (작성 중)</title>
<link>http:///lionhairdino.github.io/extensions/2023-09-21-GeneralisedNewtypeDeriving.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Thu, 21 Sep 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-09-21-GeneralisedNewtypeDeriving.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 Arrows (작성 중)</title>
<link>http:///lionhairdino.github.io/extensions/2023-09-14-arrow-extension.html</link>
<description><![CDATA[Arrows를 편하게 쓰기 위한 Monad의 do 표기 같은 건데, do 보다는 덜 예쁩니다.]]></description>
<pubDate>Thu, 14 Sep 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-09-14-arrow-extension.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 DerivingVia</title>
<link>http:///lionhairdino.github.io/extensions/2023-01-21-derivingVia.html</link>
<description><![CDATA[인스턴스 레졸루션, instance resolution, liftA, deriving]]></description>
<pubDate>Sat, 21 Jan 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-01-21-derivingVia.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 TypeSynonym(작성 예정)</title>
<link>http:///lionhairdino.github.io/extensions/2023-01-10-TypeSynonym.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Tue, 10 Jan 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-01-10-TypeSynonym.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 InstanceSigs (작성 중)</title>
<link>http:///lionhairdino.github.io/extensions/2023-01-10-InstanceSigs.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Tue, 10 Jan 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-01-10-InstanceSigs.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>확장 UnicodeSyntax (작성예정)</title>
<link>http:///lionhairdino.github.io/extensions/2023-01-06-UnicodeSyntax.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Fri, 06 Jan 2023 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/extensions/2023-01-06-UnicodeSyntax.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>컴파일 에러 읽기 - no smaller than the instance head</title>
<link>http:///lionhairdino.github.io/errors/2021-04-26-smaller.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Mon, 26 Apr 2021 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/errors/2021-04-26-smaller.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>컴파일 에러 읽기 - rigid type variable</title>
<link>http:///lionhairdino.github.io/errors/2020-07-15-rigidTypeVariable.html</link>
<description><![CDATA[rigid를 만나면, 단어 뜻때문에 마치 변할수 없는 한가지 타입으로 추론된것처럼 보입니다. 그런데 한 타입이 아니라 '열린 타입'으로 고정될 수 도 있습니다.]]></description>
<pubDate>Wed, 15 Jul 2020 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/errors/2020-07-15-rigidTypeVariable.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>컴파일 에러 읽기 - Non type-variable argument in the constraint</title>
<link>http:///lionhairdino.github.io/errors/2020-06-20-NonTypeVariable.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Sat, 20 Jun 2020 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/errors/2020-06-20-NonTypeVariable.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
<item>
<title>컴파일 에러 읽기 - Couldn't match type, Could not deduce, No instance</title>
<link>http:///lionhairdino.github.io/errors/2020-06-12-couldNotMatch.html</link>
<description><![CDATA[상상 하스켈]]></description>
<pubDate>Fri, 12 Jun 2020 00:00:00 UT</pubDate>
<guid>http:///lionhairdino.github.io/errors/2020-06-12-couldNotMatch.html</guid>
<dc:creator>Lionhairdino</dc:creator>
</item>
</channel>
</rss>