Issue 73 2017-09-21
Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.
This is a series of posts aimed at getting people started with Functional Reactive Programming using the
In this blog post we present the features we’ve added to Haskey during the last weeks of the Summer of Haskell project. These features include user-defined schemas, multi-table support and a monad transformer that supports Haskey transactions.
Here we have a constructor Foo which contains a value. We don’t statically know the type of the contained value, but we do know it has the type classes
Typeable(so we can at runtime switch on its type) and
Binary(so we can serialise it). But how can we deserialise it?
Now, let’s talk about the past summer. We are extremely pleased that many students were able to complete their projects successfully. Other students were not able to meet the goals they set initially, but despite that the students were still able to make valuable and impressive contributions to both the projects and the ecosystem as a whole.
Seeing how all the pieces fit together is difficult from just the API docs, especially understanding where an explicit type signature will be necessary. This post will give a quick overview of the pieces you’ll want to be interacting with simple, runnable examples.
In celebration of the recently released
inline-java-0.7.0, this post is a tutorial on how to use it all. We cover the marshalling of values between Haskell and Java and how we leverage the type checker to ensure that neither sides disagree on what types arguments and return values should have.
In order to help us design these courses, we developed a tool called
visualize-cbn. It is a simple interpreter for a mini Haskell-like language which outputs the state of the program at every step in a human readable format.
Today’s post is not a extensive show-off of the capabilities of Idris. Instead, it is inspired from a real and recent use case, in which I wish I had a dependently typed language to support me.
In this tutorial we’ll take a look at how to write a simple RTS-like game using
apecs. We’ll be using SDL2 for graphics. Don’t worry if you don’t know SDL2, neither do I.
What I wanted to do for myself was explore Free from first principles and implement some core functionality from the ground up to see how things work under the hood. This post is about what happened when I did this.
Sadly we aren’t currently aware of any Haskell job openings. Are you looking to hire a Haskell developer? If so, consider advertising with us!
- Checking it’s all in place: Placeholders and dependent types
- Compose Conference 2017
- Functional programming in Haskell: Supercharge your coding
- Infernal types
- Making Google tasks better: Part 2
- Shake 0.16: Revised rule definitions
Package of the week
This week’s package of the week is
a library providing a toolkit for working with tensors of statically known size and element type.
Call for participation
- purescript: purs ide: adding conflicting imports
- servant-persistent: Parameterize the App type on the base monad
- stack: Windows: Substituted paths are not resolved correctly
Unfortunately we don’t know of any Haskell events. Do you know of an event that Haskell users would enjoy? Let us know about it by emailing firstname.lastname@example.org!