You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Oct 16, 2019. It is now read-only.
Copy file name to clipboardExpand all lines: content/issues/151.markdown
+32-8Lines changed: 32 additions & 8 deletions
Original file line number
Diff line number
Diff line change
@@ -14,6 +14,38 @@ This is a weekly summary of what's going on in its community.
14
14
15
15
> I am going to show a small but pratical scenario for which DerivingVia, a language extension introduced in GHC 8.6, is a natural solution.
16
16
17
+
-[Fractals and Monads – Part 3](https://dkwise.wordpress.com/2019/02/19/fractals-and-monads-part-3/) by Derek Wise
18
+
19
+
> Today I’ll explain a simple method to draw lots of fractal pictures with minimal code, using the idea of Kleisli powers I introduced in the previous part.
20
+
21
+
-[GHC Rebuild Times - Shake profiling](https://neilmitchell.blogspot.com/2019/03/ghc-rebuild-times-shake-profiling.html) by Neil Mitchell
22
+
23
+
> Shake has had profiling for years, but in the recently-released Shake 0.17.7 I've overhauled it. The profile report is generated as a web page, and the generated output in the new version is smaller, loads faster and is more intuitive.
24
+
25
+
-[Hakyll Pt. 5 – Generating Custom Post Filenames From a Title Slug](https://robertwpearce.com/hakyll-pt-5-generating-custom-post-filenames-from-a-title-slug.html) by Robert Pearce
26
+
27
+
> Out of the box, hakyll takes filenames and dates and outputs nice routes for your webpages, but what if you want your routes to be based off of a metadata field like `title`?
28
+
29
+
-[Sum Types In SQL](https://www.parsonsmatt.org/2019/03/19/sum_types_in_sql.html) by Matt Parsons
30
+
31
+
> Most SQL databases support simple enumerations easily, but they lack the ability to talk about real sum types with fields. We can encode sum types in SQL in a few different ways, each of which has upsides and downsides.
32
+
33
+
-[Tagless Final Encoding in Haskell](https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html) by Juan Pablo Royo
34
+
35
+
> In this post i am going to explore a simple technique for organizing our programs which is called Tagless Final Encoding to write testable programs in Haskell.
36
+
37
+
-[Visible dependent quantification in Haskell](https://ryanglscott.github.io/2019/03/15/visible-dependent-quantification-in-haskell/) by Ryan Scott
38
+
39
+
> `forall k ->` is a visible, dependent quantifier. What exactly do those words mean? What does this let you do that you couldn’t before? Does this have any relationship with the fabled “Dependent Haskell” we’ve heard so many rumors about?
40
+
41
+
-[Write yourself a lens](https://vrom911.github.io/blog/write-yourself-a-lens) by Veronika Romashkina
42
+
43
+
> Recently I have been working on implementing basic lens ideas in the `relude` custom prelude library. The process was very valuable for me and I feel that now I understand lens concepts better when I encountered their internals.
44
+
45
+
-[Writing a lambda calculus evaluator in Haskell](https://bor0.wordpress.com/2019/03/19/writing-a-lambda-calculus-evaluator-in-haskell/) by Boro Sitnikovski
46
+
47
+
> This post is more focused on building the lambda calculus from scratch. It provides an interesting overview of some design decisions particularly for the lambda calculus.
48
+
17
49
## Jobs
18
50
19
51
-[Lead Data Engineer at Target in Sunnyvale](https://jobs.target.com/job/sunnyvale/lead-data-engineer-data-science-optimization/1118/10952361)
@@ -29,19 +61,11 @@ This is a weekly summary of what's going on in its community.
29
61
-[DARPA and Galois are Building a $10 Million, Open Source, Secure Voting System](https://motherboard.vice.com/en_us/article/yw84q7/darpa-is-building-a-dollar10-million-open-source-secure-voting-system)
-[Fractals and Monads – Part 3](https://dkwise.wordpress.com/2019/02/19/fractals-and-monads-part-3/)
33
-
-[GHC Rebuild Times - Shake profiling](https://neilmitchell.blogspot.com/2019/03/ghc-rebuild-times-shake-profiling.html)
34
-
-[Hakyll Pt. 5 – Generating Custom Post Filenames From a Title Slug](https://robertwpearce.com/hakyll-pt-5-generating-custom-post-filenames-from-a-title-slug.html)
35
64
-[Higher-order type-level programming in Haskell](https://www.microsoft.com/en-us/research/publication/higher-order-type-level-programming-in-haskell/)
36
65
-[Simon Peyton Jones chosen to lead National Centre for Computing Education](https://www.gov.uk/government/news/top-computer-scientist-chosen-to-lead-national-centre-for-computing-education)
37
-
-[Sum Types In SQL](https://www.parsonsmatt.org/2019/03/19/sum_types_in_sql.html)
38
-
-[Tagless Final Encoding in Haskell](https://jproyo.github.io/posts/2019-03-17-tagless-final-haskell.html)
39
66
-[The 5 Ts of Industrial Haskell](https://tech.freckle.com/2019/03/14/the-five-ts-of-industrial-haskell/)
40
67
-[Trees that Melt: Use of AVL Tree in Blockchains](https://serokell.io/blog/2019/03/19/trees-that-melt:-use-of-avl-tree-in-blockchains)
41
-
-[Visible dependent quantification in Haskell](https://ryanglscott.github.io/2019/03/15/visible-dependent-quantification-in-haskell/)
42
68
-[When Shouldn't I Use Haskell?](https://np.reddit.com/r/haskell/comments/b1hocc/when_shouldnt_i_use_haskell/)
43
-
-[Write yourself a lens](https://vrom911.github.io/blog/write-yourself-a-lens)
44
-
-[Writing a lambda calculus evaluator in Haskell](https://bor0.wordpress.com/2019/03/19/writing-a-lambda-calculus-evaluator-in-haskell/)
0 commit comments