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/150.markdown
+98-5Lines changed: 98 additions & 5 deletions
Original file line number
Diff line number
Diff line change
@@ -6,24 +6,117 @@ This is a weekly summary of what's going on in its community.
6
6
7
7
## Featured
8
8
9
-
undefined
9
+
-[How we made Haskell search strings as fast as Rust](https://tech.channable.com/posts/2019-03-13-how-we-made-haskell-search-strings-as-fast-as-rust.html) by by Ruud van Asseldonk
10
+
11
+
> In this post, we will describe our quest to create Alfred-Margaret, the fastest Haskell implementation of the Aho-Corasick string searching algorithm, which powers string search in Channable.
12
+
13
+
-[An example of state-based testing in Haskell](https://blog.ploeh.dk/2019/03/11/an-example-of-state-based-testing-in-haskell/) by Mark Seemann
14
+
15
+
> This article is an instalment in an article series about how to move from interaction-based testing to state-based testing.
16
+
17
+
-[Bank kata in Haskell - using and testing date](https://codurance.com/2019/03/12/bank-kata-in-haskell-date/) by Liam Griffin-Jowett
18
+
19
+
> Our final task to complete the kata is to add a date to the transactions. We will implement this in small logical steps, using the compiler and the tests to drive our design.
20
+
21
+
-[Ceci n'est pas un default](https://gallais.github.io/blog/ceci-pas-default) by Guillaume Allais
22
+
23
+
> Being the default value is not the same as being actively set to a value which happens to match the default. `Maybe` as a type constructor enriching an existing type with a default value is not satisfactory: what this default value means is not documented in the type.
24
+
25
+
-[Code smell: Boolean blindness](https://runtimeverification.com/blog/code-smell-boolean-blindness/) by Thomas Tuegel
26
+
27
+
> The popular term "boolean blindness" refers to the information lost by functions that operate on Bool when richer structures are available. Erasing such structure can give code a bad smell.
28
+
29
+
-[Deriving not-so-complex types](https://blog.ramdoot.in/deriving-not-so-complex-types-ec5987f6d95c) by Arvind Devarajan
30
+
31
+
> Often times, I get to read Haskell code with these patterns: `(fmap . fmap)`, `fmap (<*>)`, etc. I've just taken three of these types, and break these into their intuitions here in the hopes that somebody out there can understand when to use these.
32
+
33
+
-[Enhancing File Durability in Your Programs](https://www.fpcomplete.com/blog/enhancing-file-durability-in-programs) by Roman Gonzalez
34
+
35
+
> An unexpected shutdown (like a kernel panic, or unplugging the power cord) in a machine should not affect the durability of confirmed writes in programs we develop.
36
+
37
+
-[Freer, yet Too Costly Higher-order Effects](https://reasonablypolymorphic.com/blog/freer-yet-too-costly/) by Sandy Maguire
38
+
39
+
> As of today I have free, higher-order effects working. Unfortunately, they are not fast. I don't think this is a fundamental limitation, merely that whatever code I've written isn't amenable to GHC's optimization process.
40
+
41
+
-[Modifying a Library!](https://mmhaskell.com/blog/2019/2/7/modifying-a-library) by Monday Morning Haskell
42
+
43
+
> We can see how to incorporate the change without stressing about its complexity. Even if you're only a beginner, this is a good skill to learn now!
44
+
45
+
-[Types versus Tests: two approaches for writing correct software](https://www.stackbuilders.com/news/types-versus-tests-two-approaches-for-writing-correct-software) by Javier Casas
46
+
47
+
> We try our best to have software without bugs. It's just a hard problem, and no silver bullet to slay this beast. All we have are several approaches at trying to kick the bugs out of the software.
10
48
11
49
## Jobs
12
50
13
-
undefined
51
+
-[Haskell Team Lead at Zoomin in Tel Aviv](https://functional.works-hub.com/jobs/haskell-team-lead-in-tel-aviv-israel-6fad4)
52
+
-[Haskell Developer at Relex in Helsinki](https://relex.recruiterbox.com/jobs/fk01gjr/)
53
+
-[Functional Programmer at Chrodify in Utrecht](https://jobs.chordify.net/functional-programmer/en)
54
+
-[Engineer at Groq in Menlo Park](https://np.reddit.com/r/haskell/comments/b00us9/groq_is_hiring/)
55
+
-[Cryptocurrency Software Engineer at Pyrofe in Utah](https://pyrofex.io/career/cryptocurrency-software-engineer/)
-[Radicle: A peer-to-peer stack for code collaboration](http://www.radicle.xyz/)
65
+
-[Recording of My Talk at Lambda Days 2019](https://dimjasevic.net/marko/2019/03/10/recording-of-my-talk-at-lambda-days-2019/)
66
+
-[Taskell, Cmt, and Brök](https://discourse.haskell.org/t/taskell-cmt-and-brok/451?u=taylorfausak)
67
+
-[Trigger: small utility to restart your app on recompile](https://discourse.haskell.org/t/trigger-small-utility-to-restart-your-app-on-recompile/452?u=taylorfausak)
68
+
-[Type Classes: Coercion and datatype contexts](https://typeclasses.com/news/2019-03-coercion-and-datatype-contexts)
69
+
-[TypeScript vs PureScript: Not all compilers are created equal](https://blog.logrocket.com/typescript-vs-purescript-not-all-compilers-are-created-equal-c16dadaa7d3e)
70
+
-[What is the utility of row polymorphism?](https://np.reddit.com/r/haskell/comments/ay8kkx/what_is_the_utility_of_row_polymorphism/)
18
71
19
72
## Package of the week
20
73
21
-
undefined
74
+
This week's package of the week is [SBV](https://hackage.haskell.org/package/sbv-8.1) (SMT Based Verification), a library that allows you to express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.
22
75
23
76
## Call for participation
24
77
25
78
undefined
26
79
27
80
## Events
28
81
29
-
undefined
82
+
### North America
83
+
84
+
- 2019-03-14 in Raleigh, NC, USA by Raleigh Haskell Meetup: [(hack . yack)](https://www.meetup.com/Raleigh-Haskell-Meetup/events/nsfsnqyzfbsb/)
85
+
- 2019-03-14 in Bellevue, WA, USA by Fun(c)tional Programming Group: [Oli Makhasoeva - Develop micro-services with Mu](https://www.meetup.com/fun-c-group/events/259602038/)
86
+
- 2019-03-16 in Boston, MA, USA by Weekly Functional Programming Meetup: [Hang out + short talk (WebGL in Elm by Ashish Chandwani)](https://www.meetup.com/Weekly-Functional-Programming-Meetup/events/mlhjtqyzfbvb/)
87
+
- 2019-03-16 in Bellevue, WA, USA by Seattle Area Haskell Users' Group: [General discussion](https://www.meetup.com/SEAHUG/events/htlvcpyzfbvb/)
88
+
- 2019-03-18 in Irvine, CA by Orange Combinator - Functional Programming In OC: [Combinating - The Weekly Function](https://www.meetup.com/orange-combinator/events/lxvjrpyzfbxb/)
89
+
- 2019-03-18 in Portland, OR, USA by Portland Functional Programming Study Group: [PDX Func Practice Track - Parallel and Concurrent Programming in Haskell](https://www.meetup.com/Portland-Functional-Programming-Study-Group/events/qjbbjqyzfbxb/)
90
+
- 2019-03-18 in Lehi, UT, USA by Utah Haskell: [Utah Haskell Meetup | Book Club](https://www.meetup.com/utah-haskell/events/fmdsrqyzfbxb/)
91
+
- 2019-03-19 in Minneapolis, USA by HaskellMN: [HaskellMN Monthly Meetup](https://www.meetup.com/HaskellMN/events/ndtxfpyzfbzb/)
92
+
- 2019-03-19 in Brooklyn, NY, USA by New York Haskell Users Group: [Parallel and Concurrent Haskell Reading Group](https://www.meetup.com/NY-Haskell/events/vxvdtqyzfbzb/)
93
+
- 2019-03-19 in Atlanta, GA, USA by Atlanta Functional Programming Meetup: [Introduction to Haskell](https://www.meetup.com/Atlanta-Functional-Programming-Meetup/events/259503749/)
94
+
- 2019-03-20 in St. Louis, MO, USA by Haskell Users Group: St. Louis: [Haskell Setup Workshop](https://www.meetup.com/Haskell-Users-Group-St-Louis/events/258718607/)
95
+
- 2019-03-20 in Seattle, WA, USA by Beerly Functional: [Think Functionally](https://www.meetup.com/Beerly-Functional/events/vxhwkqyzfbbc/)
96
+
- 2019-03-20 in Houston, TX, USA by Houston Functional Programmers: [Building Single Page Applications with ClojureScript and react.js](https://www.meetup.com/Houston-Functional-Programmers/events/znbbqqyzfbbc/)
97
+
- 2019-03-21 in Las Vegas, NV, USA by Las Vegas Functional Programming User Group: [Functional Programming Meetup](https://www.meetup.com/las-vegas-functional-programming/events/jkznkqyzfbcc/)
98
+
99
+
### Europe
100
+
101
+
- 2019-03-14 in London, United Kingdom by Hoodlums: [Hoodlums Meetup](https://www.meetup.com/hoodlums/events/hrbdtnyzfbsb/)
102
+
- 2019-03-16 in Berlin, Germany by Study Haskell: [Weekly Haskell-studying session](https://www.meetup.com/Study-Haskell/events/gwtsqqyzfbvb/)
103
+
- 2019-03-18 in Karlsruhe, Germany by Karlsruhe Haskell Meetup: [Parallel and Concurrent Programming Study Group](https://www.meetup.com/Karlsruhe-Haskell-Meetup/events/258071691/)
104
+
- 2019-03-18 in Iași, Romania by Iasi Haskell: [Haskell - Introducere si concepte de baza](https://www.meetup.com/iasihaskell/events/259553851/)
105
+
- 2019-03-18 in London EC2, United Kingdom by Skills Matter - X Matters Keynote Series - Developer Events: [Data Matters with Hollie Lubbock!](https://www.meetup.com/skillsmatter/events/259330947/)
106
+
- 2019-03-19 in London EC2, United Kingdom by Skills Matter - X Matters Keynote Series - Developer Events: [Leadership Matters with Douglas Squirrel and Jeffrey Fredrick!](https://www.meetup.com/skillsmatter/events/259088898/)
107
+
- 2019-03-20 in Berlin, Germany by Berlin Haskell Users Group: [Haskell Wednesday](https://www.meetup.com/berlinhug/events/pvpwqpyzfbbc/)
108
+
- 2019-03-20 in Budapest, Hungary by Budapest Haskell User Group: [Haskell Book reading group (27th Ed.)](https://www.meetup.com/Bp-HUG/events/259262616/)
109
+
- 2019-03-20 in London, United Kingdom by Skills Matter - X Matters Keynote Series - Developer Events: [Ops Matters with Justin Davies! ](https://www.meetup.com/skillsmatter/events/259702614/)
110
+
- 2019-03-20 in Prague, Czech Republic by Prague Lambda Meetup: [Quantum Lambda](https://www.meetup.com/Lambda-Meetup-Group/events/258696067/)
111
+
- 2019-03-21 in London, United Kingdom by Skills Matter - X Matters Keynote Series - Developer Events: [Skills Matter - iOSCon 2019](https://www.meetup.com/skillsmatter/events/257029130/)
112
+
113
+
### Oceania
114
+
115
+
- 2019-03-18 in Perth, Australia by Perth Functional Programmers: [Haskell meetup](https://www.meetup.com/PerthFP/events/xrtkqqyzfbxb/)
116
+
- 2019-03-20 in Auckland, New Zealand by Functional Programming Auckland: [2 Talks: Introduction to Hakyll & Making Sense of Applicative Do](https://www.meetup.com/Functional-Programming-Auckland/events/259573595/)
117
+
- 2019-03-21 in Kota Jakarta Pusat, Indonesia by Lambda Indonesia: [Sharing Ilmu Bersama Ariya Hidayat dan Tito Pandu](https://www.meetup.com/lambdaindonesia/events/259616507/)
118
+
119
+
### Asia
120
+
121
+
- 2019-03-15 in Noida, India by Reactive Application Programmers in Delhi NCR: [MEETUP | Lifetime in Rust](https://www.meetup.com/Reactive-Application-Programmers-in-Delhi-NCR/events/259354521/)
122
+
- 2019-03-16 in Bengaluru, India by Bangalore Functional Programmers Meetup: [Lets Lens - Part 2](https://www.meetup.com/Bangalore-Functional-Programmers-Meetup/events/259289861/)
0 commit comments