Functional programming without the hassle. Live programming for Haskell.
Utrecht, The Netherlands
Joined April 2015
- Tweets1.4K
- Following1.7K
- Followers2.5K
- Likes269
Haskell for Mac retweeted
Interesting experience report about a Haskell course run by @LarsBrunjes and @kosmikus that spontaneously turned online, because COVID-19 rendered the in-person version impossible: iohk.io/en/blog/posts/2020/1…
Haskell for Mac retweeted
This is the first issue of a cool new Haskell/FP monthly newspaper @bind_the_gap — if you are interested in Haskell or FP in general, make sure to check it out! xitter.cf/bind_the_gap/status/13…
🗞️ The pilot issue of #BindTheGap is out! It includes:
🚂 SPJ about #HaskellFoundation
🚃 aeson review
🚃 Exclusive content by @impurepics
🚃 GHC and base proposals
🚃 @graninas about his book FDaA
🚃 FP and #Haskell fun and much more!
Download it now!
bindthegap.news/#issues
Haskell for Mac retweeted
The Haskell Foundation is now live at @haskellfound and haskell.foundation — this is an important step in the evolution of the Haskell community. Check it out and join the discussion!
Haskell for Mac retweeted
The Haskell community is taking it to the next level. During the opening keynote to the virtual Haskell eXchange 2020, @simonpj0 will announce the launch of the Haskell Foundation, an independent non-profit. Watch it here live on Wednesday, 12:00 UTC: youtube.com/watch?v=MEmRarBL…
Haskell for Mac retweeted
Check it out! @CompositionalFM is a new podcast about applying functional programming principles in engineering practice. It is being produced by engineers from @tweagio who are using FP in anger every single day! compositional.fm
Haskell for Mac retweeted
Nederlandse We Want More-winnares Iris maakt furore in Portugal ad.nl/show/nederlandse-we-wa…
Haskell for Mac retweeted
Haskell for Mac is great. For "exploratory programming" it is absolutely just what you want. I used it for videos & livecoding teaching Haskell during COVID.
facebook.com/jameskjx/videos…
Haskell for Mac retweeted
In “Improving Haskell’s big numbers support”, @shenry_io summaries the work he has done at @InputOutputHK to substantially improve the situation around GHC’s bignum packages iohk.io/en/blog/posts/2020/0…
Haskell for Mac retweeted
Here is a paper to challenge your preconceptions about software development methodologies: “Flexible Formality: Practical Experience with Agile Formal Methods” iohk.io/en/research/library/… (marriage of agile and formal software dev at @InputOutputHK)
Haskell for Mac retweeted
Haskell folks won’t want to miss today at 16.00 (UK time) “Haskell, then and now: What is the future for functional programming languages?” Prof Simon Peyton-Jones, Prof John Hughes, Prof Philip Wadler, Dr Kevin Hammond, Dr Duncan Coutts @ Cardano Summit cardanosummit.iohk.io/
Haskell for Mac retweeted
Six of these arrived today! Just in time for my chalmersfp.org seminar on Monday.
Haskell for Mac retweeted
The latest @InputOutputHK blog post provides a nice overview of the recent work on improving the usability of the Haskell to JavaScript compiler GHCJS iohk.io/en/blog/posts/2020/0… (this is btw a nice example of how IOHK is helping improve Haskell tooling)
Haskell for Mac retweeted
Fantastic, new functional programming resource: the new “Chalmers Online Functional Programming Seminar Series” features some of the stars of the FP world, starting with Simon Peyton Jones, this coming Monday chalmersfp.org/
Haskell for Mac retweeted
GHC has been featuring explicit type applications for a while now. They lead to a tricky question: which type variables may be explicitly instantiated? Here is our latest improvement to GHC to help with that: “Inferred or specified types? Your choice!” tweag.io/posts/2020-03-12-ex…
Haskell for Mac retweeted
Really cool use of linear types for cross-language memory management xitter.cf/tweagio/status/1225709… #haskell
We have talked about adding linear types to Haskell before. In our latest blog post, we are showing that they are very useful in down to earth applications like cross-language memory management: “Safe memory management in inline-java using linear types”: tweag.io/posts/2020-02-06-sa…
Haskell for Mac retweeted
Why is it ‘Data.Functor’, but ‘Control.Monad‘? Linear types help us to understand in “A tale of two functors, or how I stopped worrying and love Data and Control” tweag.io/posts/2020-01-16-da…
Haskell for Mac retweeted
A great summary of an amazing line of work: “Runtime Support for Multicore Haskell: a Retrospective” blog.sigplan.org/2019/12/16/…
Haskell for Mac retweeted
2020 #LambdaDays opens on a high note with a keynote by #Haskell researcher @gckeller ow.ly/lOnw50xfW7z Register to see her live on our stage lambdadays.org/lambdadays202…
Haskell for Mac retweeted
This is a great addition to an already top notch runtime system: “Low-latency garbage collector merged for GHC 6.10” well-typed.com/blog/2019/10/…