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/113.markdown
+72-6Lines changed: 72 additions & 6 deletions
Original file line number
Diff line number
Diff line change
@@ -9,25 +9,91 @@ Open an issue or pull request [on GitHub](https://github.com/haskellweekly/haske
9
9
10
10
## Featured
11
11
12
-
undefined
12
+
-[Rethinking static reference tables in GHC](https://simonmar.github.io/posts/2018-06-22-New-SRTs.html)
13
+
14
+
> Recently I was lucky enough to be able to finish a project I've been working on intermittently in GHC for several years, and the result was satisfyingly better on just about every axis.
15
+
16
+
-[`QuantifiedConstraints` and the trouble with `Traversable`](https://ryanglscott.github.io/2018/06/22/quantifiedconstraints-and-the-trouble-with-traversable/)
17
+
18
+
> I will show how Representational1 lets us derive two more classes in the `base` library using GND, which would be impossible without the use of `QuantifiedConstraints`.
19
+
20
+
-[Two security holes and a new library](https://joeyh.name/blog/entry/two_security_holes_and_a_new_library/)
21
+
22
+
> For the past week and a half, I've been working on embargoed security holes. I'm announcing a new Haskell library, `http-client-restricted`, which could be used to avoid similar problems in other programs.
23
+
24
+
-[Coercions and roles for dummies](http://reasonablypolymorphic.com/blog/roles/)
25
+
26
+
> You've heard of the type system, which makes sure your terms are sane. Maybe you're also aware of the kind system, whose job it is is to make sure your types are reasonable! But did you know Haskell has an even more obscure system than these?
> In this blog post I'll explore what I call selective applicative functors, which extend the `Applicative` type class with a single method that makes it possible to be selective about effects.
31
+
32
+
-[How to build a custom GTK widget with Haskell](https://codeburst.io/how-to-build-a-custom-gtk-widget-with-haskell-eaff04a6262)
33
+
34
+
> Gifcurry, a cross-platform GIF creator slash video editor made with Haskell, needed a custom widget to interface with user selected time slices.
> In my efforts to speed this implementation up, I came across a wide and interesting literature on scheduling effects, which I'll go through a little here.
> In this blog post the simple web server will get an extra REST endpoint that can do IO actions. This is an important part of pragmatic Haskell programming. Without IO our program can do nothing.
43
+
44
+
-[Nix scaffolding for running Haskell plugins](https://mpickering.github.io/posts/2018-06-24-haskell-nix-plugins.html)
45
+
46
+
> I am writing plugins which don't change the semantics of my programs but are useful for debugging. I only sometimes want to run them and don't want them to appear as dependencies at all on Hackage.
47
+
48
+
-[Deriving Vinyl representation from plain Haskell records](https://www.gagandeepbhatia.com/blog/deriving-vinyl-representation-from-plain-haskell-records/)
49
+
50
+
> Can we do better? For instance, can we just say something like `deriveVinyl ''UserT` and have a type class instance generated for us automatically?
13
51
14
52
## Jobs
15
53
16
-
undefined
54
+
-[Backend software engineer at SimSpace in Boston](https://angel.co/simspace/jobs/64261-software-engineer-backend)
55
+
56
+
> SimSpace is looking for a backend software developer to help shape the future of realistic environments used for cyber security development, testing, and training.
57
+
58
+
-[Intern at Tesla in Palo Alto](https://np.reddit.com/r/haskell/comments/8smtw0/fall_2018_internship_opportunity_with_tesla_inc/)
59
+
60
+
> Our team supports firmware and software development for Tesla products through custom tooling, process optimization, and data integration.
17
61
18
62
## In brief
19
63
20
-
undefined
64
+
-[8-hour remote interactive course on "Type-level programming with GHC"](https://www.well-typed.com/blog/2018/06/remote-interactive-type-level-programming-course/)
65
+
-[Cachix: Build Nix packages once and share them for good](https://cachix.org)
66
+
-[Contributing to GHC 3: Hacking syntax and parsing](https://mmhaskell.com/blog/2018/6/25/contributing-to-ghc-3-hacking-syntax-and-parsing)
67
+
-[Domain modeling with abstract algebra](https://medium.com/@reidev275/domain-modeling-with-abstract-algebra-47f8f9e0d012)
68
+
-[FHPC18 call for presentations and demonstrations](https://icfp18.sigplan.org/track/FHPC-2018-papers#FHPC18-Call-for-Presentations-and-Demonstrations)
-[How I finally learned what a "monad" is](https://www.bsima.me/clog/how-i-learned-monads.html)
72
+
-[Introduction to Haskell: Why you should learn it if you are a Javascript developer](https://medium.com/@manojsinghnegi/introduction-to-haskell-why-you-should-learn-it-if-you-are-a-javascript-developer-a7f7410c16c4)
73
+
-[Literature review of GHC Core](https://github.com/xnning/GHC-Core-Literature-Review/blob/e650e0d26f45242a0705722f533403dac3a069f7/doc/doc.pdf)[pdf]
74
+
-[Monads and more in 5 minutes or less](https://hackernoon.com/monads-and-more-in-5-minutes-or-less-80d71f19dc11)
75
+
-[The Haskell stack ecosystem in 30 seconds or less](https://chrisconlan.com/the-haskell-package-ecosystem-in-30-seconds-or-less/)
76
+
-[Using mutable global variable in Haskell](https://siskam.link/2018-06-22-using-mutable-global-variable-in-haskell.html)
77
+
-[We liked it so we put a lens on it](https://np.reddit.com/r/haskell/comments/8sxxsu/we_liked_it_so_we_put_a_lens_on_it/)
This week's package of the week is [scientific](https://hackage.haskell.org/package/scientific-0.3.6.2),
84
+
a library that provides space-efficient scientific numbers
25
85
26
86
## Call for participation
27
87
28
88
undefined
29
89
30
90
## Events
31
91
32
-
- July 4 in Dublin, Ireland: [Self-paced Haskell Study Group with Special Talk](https://www.meetup.com/haskell-dublin-meetup/events/252058824/)
33
-
- July 16 in Auckland, New Zealand: [Two Talks: a) FP in JS-land; b) The unusual effectiveness of the Haskell type system](https://www.meetup.com/Functional-Programming-Auckland/events/252103853/)
92
+
- June 28 in Melbourne, Australia: [Custom IHaskell on My Binder](https://www.meetup.com/Melbourne-Haskell-Users-Group/events/250030739/)
93
+
- June 30 in Boston, Massachusetts: [Hang out, chat FP, work on some code](https://www.meetup.com/Weekly-Functional-Programming-Meetup/events/251972531/)
94
+
- July 1 in Bangalore, India: [Haskell: Folds and type classes](https://www.meetup.com/Bangalore-Functional-Programmers-Meetup/events/251782741/)
95
+
- July 2 in St. Louis, Missouri: [Mob programming with Elm](https://www.meetup.com/STLElm/events/251917825/)
96
+
- July 3 in Seattle, Washington: [Haskell learners' group](https://www.meetup.com/SEAHUG/events/250476077/)
97
+
- July 4 in Dublin, Ireland: [Self-paced Haskell study group with special talk](https://www.meetup.com/haskell-dublin-meetup/events/252058824/)
98
+
- July 5 in Frankfurt, Germany: [Dhall: The functional configuration language](https://www.meetup.com/Frankfurt-Haskell-User-Group/events/251622624/)
99
+
- July 16 in Auckland, New Zealand: [Two Talks: FP in JS-land; and The unusual effectiveness of the Haskell type system](https://www.meetup.com/Functional-Programming-Auckland/events/252103853/)
0 commit comments