-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathresources-dump.yaml
8078 lines (7231 loc) · 186 KB
/
resources-dump.yaml
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
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
- title: Adventures in Three Monads
url: http://web.mit.edu/~ezyang/Public/threemonads.pdf
authors:
- Edward Z. Yang
type: light research paper
tags:
- Failure monad
- Logic monad
- monads
- Prompt monad
- title: What are free monads?
url: http://stackoverflow.com/questions/13352205/what-are-free-monads
type: Q&A website
tags:
- free monads
- monads
- title: CIS 194
url: http://www.seas.upenn.edu/~cis194/lectures.html
authors:
- Brent Yorgey
type: lecture notes
tags:
- online course
- title: Haskell and Yesod
url: http://www.yesodweb.com/book-1.2
authors:
- Michael Snoyman
type: textbook
tags:
- web
- web frameworks
- Yesod
- title: CS240h
url: http://www.scs.stanford.edu/11au-cs240h/notes/
type: lecture notes
tags:
- online course
- title: How to Learn Haskell
url: http://acm3.wustl.edu/functional/haskell.php
type: meta resource
tags:
- introduction
- title: CS 1501 - Introduction to Haskell
url: http://shuklan.com/haskell/index.html
type: lecture notes
tags:
- online course
- title: Haskell Notes and Examples
url: http://www.vex.net/~trebla/haskell/index.xhtml
authors:
- Albert Y. C. Lai
type: meta resource
tags:
- miscellaneous
- title: Haskellers.com
url: http://www.haskellers.com/
authors:
- Michael Snoyman
type: community site
tags:
- job search
- title: An Introduction to the Indexed Privilege Monad in Haskell, Scala, and C++
url: https://gist.github.com/pthariensflame/6057040
authors:
- Alexander Altman
type: blog post
tags:
- indexed monads
- monads
- Privilege monad
- title: Developing Web Applications with Yesod
url: http://pbrisbin.com/posts/developing_web_applications_with_yesod/
type: blog post
tags:
- web
- web frameworks
- Yesod
- title: Brisbane Functional Programming Group
url: http://vimeo.com/channels/bfg/
type: video lecture
tags:
- miscellaneous
- title: Can someone explain to me why the app function of ArrowApply makes them as powerful as monads?
url: http://stackoverflow.com/questions/17668452/can-someone-explain-to-me-why-the-app-function-of-arrowapply-makes-them-as-power
type: Q&A website
tags:
- arrows
- monads
- title: Idioms are oblivious, arrows are meticulous, monads are promiscuous
url: http://homepages.inf.ed.ac.uk/wadler/papers/arrows-and-idioms/arrows-and-idioms.pdf
authors:
- Sam Lindley
published: 2008
type: light research paper
tags:
- applicative functors
- arrows
- monads
- title: Many Roads to Free Monads
url: https://www.fpcomplete.com/user/dolio/many-roads-to-free-monads
authors:
- Dan Doel
type: blog post
tags:
- free algebras
- free monads
- title: Getting Started With GHC Hacking
url: http://blog.codersbase.com/posts/2013-08-03-getting-started-with-ghc-hacking.html
type: blog post
tags:
- GHC
- title: Certified Programming with Dependent Types
url: http://adam.chlipala.net/cpdt/
authors:
- Adam Chlipala
type: textbook
tags:
- Coq
- dependent types
- title: Agda by Example: λ-calculus
url: http://mazzo.li/posts/Lambda.html
authors:
- Francesco Mazzoli
type: extended example
tags:
- Agda
- dependent types
- title: B-trees with GADTs
url: http://matthew.brecknell.net/post/btree-gadt/
authors:
- Matthew Brecknell
type: video lecture
tags:
- B-trees
- data structures
- GADTs
- title: Backtracking, Interleaving, and Terminating Monad Transformers
url: http://www.cs.rutgers.edu/~ccshan/logicprog/LogicT-icfp2005.pdf
authors:
- Oleg Kiselyov
type: light research paper
tags:
- Logic monad
- monad transformers
- monads
- title: Haskell Wikibook
url: https://en.wikibooks.org/wiki/Haskell
type: textbook
tags:
- introduction
- miscellaneous
- title: de Brujin notation as a nested datatype
url: http://www.cs.uwyo.edu/~jlc/courses/5000_fall_08/debruijn_as_nested_datatype.pdf
authors:
- Richard S. Bird
type: research paper
tags:
- De Brujin notation
- title: Lists and tuples
url: https://en.wikibooks.org/wiki/Haskell/Lists_and_tuples
authors:
- Haskell Wikibook
type: textbook
tags:
- lists
- tuples
- title: quechen/articles
url: https://github.com/quchen/articles
authors:
- David Luposchainsky
type: blog post
tags:
- miscellaneous
- title: Recursion
url: https://en.wikibooks.org/wiki/Haskell/Recursion
authors:
- Haskell Wikibook
type: textbook
tags:
- recursion
- title: Pattern matching
url: https://en.wikibooks.org/wiki/Haskell/Pattern_matching
authors:
- Haskell Wikibook
type: textbook
tags:
- pattern matching
- title: Implementing a JIT Compiled Language with Haskell and LLVM
url: http://www.stephendiehl.com/llvm/
type: extended example
tags:
- compilers
- JIT compilers
- LLVM
- title: Higher-order functions and Currying
url: https://en.wikibooks.org/wiki/Haskell/Higher-order_functions_and_Currying
authors:
- Haskell Wikibook
type: textbook
tags:
- currying
- title: Inside My World (Ode to Functor and Monad)
url: http://blog.jle.im/entry/inside-my-world-ode-to-functor-and-monad
authors:
- Justin Le
published: 2014
type: blog post
tags:
- functors
- monads
- title: Using GHCi effectively
url: https://en.wikibooks.org/wiki/Haskell/Using_GHCi_effectively
authors:
- Haskell Wikibook
type: textbook
tags:
- GHCi
- title: Modules
url: https://en.wikibooks.org/wiki/Haskell/Modules
authors:
- Haskell Wikibook
type: textbook
tags:
- modules
- title: Lazy Dynamic Programming
url: http://jelv.is/blog/Lazy-Dynamic-Programming/
type: blog post
tags:
- dynamic programming
- laziness
- title: Indentation
url: https://en.wikibooks.org/wiki/Haskell/Indentation
authors:
- Haskell Wikibook
type: textbook
tags:
- layout rules
- title: Classes and types
url: https://en.wikibooks.org/wiki/Haskell/Classes_and_types
authors:
- Haskell Wikibook
type: textbook
tags:
- type classes
- title: The Functor class
url: https://en.wikibooks.org/wiki/Haskell/The_Functor_class
authors:
- Haskell Wikibook
type: textbook
tags:
- functors
- title: Understanding monads
url: https://en.wikibooks.org/wiki/Haskell/Understanding_monads
authors:
- Haskell Wikibook
type: textbook
tags:
- monads
- title: Elegant memoization with functional memo tries
url: http://conal.net/blog/posts/elegant-memoization-with-functional-memo-tries
authors:
- Conal Elliott
type: blog post
tags:
- data structures
- memoization
- title: Understanding monads/Maybe
url: https://en.wikibooks.org/wiki/Haskell/Understanding_monads/Maybe
authors:
- Haskell Wikibook
type: textbook
tags:
- Maybe monad
- monads
- title: Understanding monads/List
url: https://en.wikibooks.org/wiki/Haskell/Understanding_monads/List
authors:
- Haskell Wikibook
type: textbook
tags:
- List monad
- title: Call Arity
url: http://www.joachim-breitner.de/publications/CallArity-TFP.pdf
authors:
- Joachim Breitner
type: research paper
tags:
- eta-expansion
- list fusion
- title: Understanding monads/IO
url: https://en.wikibooks.org/wiki/Haskell/Understanding_monads/IO
authors:
- Haskell Wikibook
type: textbook
tags:
- I/O
- monads
- title: Understanding monads/State
url: https://en.wikibooks.org/wiki/Haskell/Understanding_monads/State
authors:
- Haskell Wikibook
type: textbook
tags:
- monads
- State monad
- title: MonadPlus
url: https://en.wikibooks.org/wiki/Haskell/MonadPlus
authors:
- Haskell Wikibook
type: textbook
tags:
- MonadPlus
- title: Monad transformers
url: https://en.wikibooks.org/wiki/Haskell/Monad_transformers
authors:
- Haskell Wikibook
type: textbook
tags:
- monad transformers
- title: Monoids
url: https://en.wikibooks.org/wiki/Haskell/Monoids
authors:
- Haskell Wikibook
type: textbook
tags:
- monoids
- title: Fun with type functions
url: http://research.microsoft.com/en-us/um/people/simonpj/papers/assoc-types/fun-with-type-funs/typefun.pdf
authors:
- Simon Peyton Jones
type: light research paper
tags:
- GADTs
- phantom types
- type families
- title: Syntactic sugar
url: https://en.wikibooks.org/wiki/Haskell/Syntactic_sugar
authors:
- Haskell Wikibook
type: textbook
tags:
- syntactic sugar
- title: Arrow tutorial
url: https://en.wikibooks.org/wiki/Haskell/Arrow_tutorial
authors:
- Haskell Wikibook
type: textbook
tags:
- arrows
- title: SPJ talks at Oregon Programming Languages Summer School 2013
url: http://www.reddit.com/r/haskell/comments/262kbj/spj_talks_at_oregon_programming_languages_summer/chnhevt
authors:
- Simon Peyton Jones
type: forum post
tags:
- GADTs
- kinds
- System F
- type classes
- type families
- type inference
- title: Performance Introduction
url: https://en.wikibooks.org/wiki/Haskell/Performance_Introduction
authors:
- Haskell Wikibook
type: textbook
tags:
- performance
- title: Continuation passing style
url: https://en.wikibooks.org/wiki/Haskell/Continuation_passing_style
authors:
- Haskell Wikibook
type: textbook
tags:
- CPS
- title: Zippers
url: https://en.wikibooks.org/wiki/Haskell/Zippers
authors:
- Haskell Wikibook
type: textbook
tags:
- zippers
- title: Applicative Functors
url: https://en.wikibooks.org/wiki/Haskell/Applicative_Functors
authors:
- Haskell Wikibook
type: textbook
tags:
- applicative functors
- title: Deriving Strength from Laziness
url: http://comonad.com/reader/2008/deriving-strength-from-laziness/
authors:
- Edward Kmett
type: blog post
tags:
- comonads
- costrength
- monads
- strength
- title: Profunctors in Haskell
url: http://blog.sigfpe.com/2011/07/profunctors-in-haskell.html
type: blog post
tags:
- profunctors
- title: Typed Tagless-Final Linear Lambda Calculus
url: https://www.fpcomplete.com/user/mutjida/typed-tagless-final-linear-lambda-calculus
authors:
- mutjida
published: 2013
type: extended example
tags:
- finally tagless
- lambda calculus
- title: Beyond Church encoding: Boehm-Berarducci isomorphism of algebraic data types and polymorphic lambda-terms
url: http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
authors:
- Oleg Kiselyov
published: 2012
type: blog post
tags:
- Boehm-Berarducci encoding
- Church encoding
- encoding
- title: Yet Another Monad Tutorial
url: https://mvanier.livejournal.com/3917.html
authors:
- Mike Vanier
type: blog post
tags:
- monads
- title: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
url: http://eprints.eemcs.utwente.nl/7281/01/db-utwente-40501F46.pdf
authors:
- Erik Meijer
published: 1991
type: research paper
tags:
- ADTs
- category theory
- recursion schemes
- title: Word numbers, Part 1: Billion approaches
url: http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers1/
authors:
- Chung-chieh Shan
published: 2008
type: blog post
tags:
- algorithms
- monoids
- seminearrings
- title: Automated Unit Testing in Haskell
url: http://pbrisbin.com/posts/automated_unit_testing_in_haskell/
authors:
- Pat Brisbin
type: blog post
tags:
- testing
- title: Domain-specific Languages and Code Synthesis Using Haskell
url: http://queue.acm.org/detail.cfm?id=2617811
authors:
- Andy Gill
type: survey article
tags:
- DSLs
- title: What I Wish I Knew When Learning Haskell 2.0
url: http://dev.stephendiehl.com/hask/
type: blog post
tags:
- miscellaneous
- title: Avoiding Partial Functions
url: http://www.haskell.org/haskellwiki/Avoiding_partial_functions
type: blog post
tags:
- partial functions
- title: Typeclassopedia
url: http://www.haskell.org/haskellwiki/Typeclassopedia
authors:
- Brent Yorgey
published: 2009
type: lecture notes
tags:
- applicative functors
- arrows
- comonads
- Foldable
- functors
- monad transformers
- MonadFix
- monads
- monoids
- semigroups
- Traversable
- title: Haskell/Denotational semantics
url: http://en.wikibooks.org/wiki/Haskell/Denotational_semantics
type: blog post
tags:
- denotational semantics
- title: You could have re-invented fix too!
url: http://www.vex.net/~trebla/haskell/fix.xhtml
authors:
- Albert Y. C. Lai
type: blog post
tags:
- fixpoints
- title: Abstraction, intuition, and the "monad tutorial fallacy"
url: http://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
authors:
- Brent Yorgey
type: blog post
tags:
- monads
- pedagogy
- title: What a Monad is not
url: http://www.haskell.org/haskellwiki/What_a_Monad_is_not
authors:
- Haskell Wiki
type: blog post
tags:
- monads
- title: Monad laws
url: http://www.haskell.org/haskellwiki/Monad_laws
type: blog post
tags:
- monads
- title: Oh my laziness!
url: http://alpmestan.com/2013/10/02/oh-my-laziness/
type: blog post
tags:
- laziness
- WHNF
- title: More Points for Lazy Evaluation
url: http://augustss.blogspot.hu/2011/05/more-points-for-lazy-evaluation-in.html
published: 2011
type: blog post
tags:
- laziness
- title: Applicative programming with effects
url: http://www.soi.city.ac.uk/~ross/papers/Applicative.pdf
authors:
- Conor McBride
published: 2008
type: functional pearl
tags:
- applicative functors
- title: Monad Transformers Step By Step
url: http://www.cs.virginia.edu/~wh5a/personal/Transformers.pdf
authors:
- Martin Grabmüller
published: 2006
type: survey article
tags:
- monad transformers
- title: errors-1.0: Simplified error handling
url: http://www.haskellforall.com/2012/07/errors-10-simplified-error-handling.html
type: blog post
tags:
- error handling
- title: GHCJS introduction – Concurrent Haskell in the browser
url: http://weblog.luite.com/wordpress/?p=14
authors:
- Luite Stegeman
published: 2013
type: extended example
tags:
- GHCJS
- title: Foundations for Structured Programming with GADTs
url: https://personal.cis.strath.ac.uk/neil.ghani/papers/ghani-popl08.pdf
authors:
- Patricia Johann
- Neil Ghani
published: 2008
type: light research paper
tags:
- GADTs
- initial algebras
- title: Model-view-controller, Haskell-style
url: http://www.haskellforall.com/2014/04/model-view-controller-haskell-style.html
authors:
- Gabriel Gonzalez
published: 2014
type: blog post
tags:
- MVC
- title: How the continuation monad works
url: http://www.haskellforall.com/2014/04/how-continuation-monad-works.html
authors:
- Gabriel Gonzalez
type: blog post
tags:
- CPS
- title: The Operational Monad Tutorial
url: http://apfelmus.nfshost.com/articles/operational-monad.html
type: blog post
tags:
- operational
- title: Applicative, bidirectional serialization combinators
url: http://jaspervdj.be/posts/2012-09-07-applicative-bidirectional-serialization-combinators.html
authors:
- Jasper Van der Jeugt
type: blog post
tags:
- applicative functors
- GADTs
- serialization
- title: Functional Reactive Web Interfaces with GHCJS and sodium
url: http://weblog.luite.com/wordpress/?p=127
authors:
- Luite Stegeman
published: 2013
type: extended example
tags:
- FRP
- GHCJS
- title: Comonads in Haskell
url: https://speakerdeck.com/dmoverton/comonads-in-haskell
authors:
- David Overton
published: 2014
type: lecture notes
tags:
- comonads
- title: Comonads are objects
url: http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html
authors:
- Gabriel Gonzalez
published: 2013
type: blog post
tags:
- comonads
- title: You Could Have Invented Monads! (And Maybe You Already Have.)
url: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html
authors:
- Dan Piponi
published: 2006
type: blog post
tags:
- monads
- title: Cofree meets Free
url: http://blog.sigfpe.com/2014/05/cofree-meets-free.html
authors:
- Dan Piponi
type: blog post
tags:
- cofree comonads
- comonads
- title: Monads from Comonads
url: http://comonad.com/reader/2011/monads-from-comonads/
type: blog post
tags:
- comonads
- monads
- title: Transforming a comonad with a monad
url: http://blog.sigfpe.com/2008/03/transforming-comonad-with-monad.html
type: blog post
tags:
- comonads
- monads
- title: Comonadic Arrays
url: http://blog.sigfpe.com/2008/03/comonadic-arrays.html
authors:
- Dan Piponi
type: blog post
tags:
- comonads
- title: Cellular Automata
url: https://www.fpcomplete.com/user/edwardk/cellular-automata
authors:
- Edward Kmett
type: blog post
tags:
- comonad transformers
- comonads
- folds
- title: Evaluating cellular automata is comonadic
url: http://blog.sigfpe.com/2006/12/evaluating-cellular-automata-is.html
authors:
- Dan Piponi
published: 2006
type: blog post
tags:
- comonads
- title: Mio: A High-Performance Multicore IO Manager for GHC
url: http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf
authors:
- Andreas Voellmy
- Junchang Wang
- Paul Hudak
- Kazuhiko Yamamoto
type: research paper
tags:
- GHC
- I/O
- RTS
- title: Lenses: compositional data access and manipulation.
url: https://skillsmatter.com/skillscasts/4251-lenses-compositional-data-access-and-manipulation
authors:
- Simon Peyton Jones
published: 2013
type: video lecture
tags:
- lenses
- title: Löb and möb: strange loops in Haskell
url: https://github.com/quchen/articles/blob/master/loeb-moeb.md
type: blog post
tags:
- loeb
- moeb
- title: What is the “Free Monad + Interpreter” pattern?
url: http://programmers.stackexchange.com/questions/242795/what-is-the-free-monad-interpreter-pattern
type: Q&A website
tags:
- free monads
- title: When would I want to use a Free Monad + Interpreter pattern?
url: http://stackoverflow.com/questions/23766419/when-would-i-want-to-use-a-free-monad-interpreter-pattern
type: Q&A website
tags:
- free monads
- title: free object in nLab
url: http://ncatlab.org/nlab/show/free+object
type: blog post
tags:
- category theory
- freeness
- title: Fun with indexed monads
url: http://www.cl.cam.ac.uk/~dao29/ixmonad/ixmonad-fita14.pdf
type: lecture notes
tags:
- indexed monads
- title: Map Comprehensions
url: http://www.timphilipwilliams.com/posts/2014-06-05-map-comprehensions.html
type: blog post
tags:
- heterogeneous lists
- indexed monads
- kinds
- title: Comprehensive Comprehensions: Comprehensions with ‘Order by’ and ‘Group by’
url: http://research.microsoft.com/en-us/um/people/simonpj/papers/list-comp/list-comp.pdf
type: light research paper
tags:
- list comprehensions
- TransformListComp
- title: Monadic Parsing in Haskell
url: http://www.cs.uwyo.edu/~jlc/courses/3015/parser_pearl.pdf
authors:
- Graham Hutton
- Erik Meijer
published: 1998
type: journal paper
tags:
- monadic parsing
- title: Monadic Parsers: Implementing a micro Parsec
url: http://olenhad.me/articles/monadic-parsers/
type: blog post
tags:
- monadic parsing
- title: Yi: An Editor in Haskell for Haskell
url: http://publications.lib.chalmers.se/records/fulltext/local_72549.pdf
authors:
- Jean-Philippe Bernardy
published: 2008
type: light research paper
tags:
- text editors
- Yi
- title: The Music Suite
url: http://music-suite.github.io/docs/ref/
type: extended example
tags:
- music
- title: The Design of a Pretty Printing Library
url: http://belle.sourceforge.net/doc/hughes95design.pdf
type: light research paper
tags:
- pretty printing
- title: Yesod, AngularJS and Fay
url: http://www.yesodweb.com/blog/2012/10/yesod-fay-js
authors:
- Michael Snoyman
type: blog post
tags:
- Fay
- JavaScript
- Yesod
- title: Is the concept of an “interleaved homomorphism” a real thing?
url: http://stackoverflow.com/questions/24090758/is-the-concept-of-an-interleaved-homomorphism-a-real-thing
type: Q&A website
tags:
- category theory
- homomorphisms
- title: Simpler conduit library based on monadic folds
url: http://newartisans.com/2014/06/simpler-conduit-library/
authors:
- John Wiegley
published: 2014
type: blog post
tags:
- conduit
- coroutines
- title: Persistent entity syntax
url: https://github.com/yesodweb/yesod/wiki/Persistent-entity-syntax
type: extended example
tags:
- persistent
- Yesod
- title: Clowns to the Left of me, Jokers to the Right
url: http://strictlypositive.org/CJ.pdf
authors:
- Conor McBride
published: 2006
type: functional pearl
tags:
- ADTs
- zippers
- title: Exceptions and monad transformers
url: http://www.yesodweb.com/blog/2014/06/exceptions-transformers
authors:
- Michael Snoyman
type: blog post
tags:
- exceptions
- monad transformers
- title: Scrap Your Boilerplate: Generic Programming in Haskell
url: http://expressiveprogramming.com/presentations/syb_talk.html
authors:
- Lyle Kopnicky
type: blog post
tags:
- generic programming
- title: Scrap your boilerplate with class: extensible generic functions
url: http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/gmap3.pdf
authors:
- Simon Peyton Jones
type: research paper
tags:
- generic programming
- title: Scrap more boilerplate: reflection, zips, and generalised casts
url: http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/gmap2.ps
authors:
- Simon Peyton Jones
type: research paper
tags:
- generic programming
- title: Scrap your boilerplate: a practical approach to generic programming
url: http://research.microsoft.com/en-us/um/people/simonpj/papers/hmap/hmap.ps
authors:
- Simon Peyton Jones
type: research paper
tags:
- generic programming
- title: Folding Domain-Specific Languages: Deep and Shallow Embeddings
url: http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf
authors:
- Jeremy Gibbons
published: 2014
type: functional pearl
tags:
- DSLs
- title: Pattern Matching Without K
url: http://people.cs.kuleuven.be/~jesper.cockx/Without-K/Pattern-matching-without-K.pdf
authors:
- Jesper Cockx
type: research paper
tags:
- Agda
- dependent pattern matching
- homotopy type theory
- ICFP 2014
- K axiom
- title: Safe Coercions
url: http://www.cis.upenn.edu/~eir/papers/2014/coercible/coercible.pdf
authors:
- Joachim Breitner
type: research paper
tags:
- ICFP 2014
- type coercion
- title: Worker/Wrapper/Makes it/Faster
url: http://www.cs.nott.ac.uk/~gmh/faster.pdf
authors:
- Jennifer Hackett
type: research paper
tags: