Monads should and can be tranformed into different other monads. This article guides you through this process.

#haskell

​​Nice talk about turning unit tests into property-based tests. That's something every developer should think about: properties of your code, not specific implementation.

#haskell

​​mdr is a program and markup designed to facilitate documentation and testing.

Written in #haskell, suitable for all languages: https://github.com/fennecdjay/mdr

Awesome list of #haskell projects!

https://github.com/albohlabs/awesome-haskell

A silly emotional rant about the state of devops tooling/the infrastructure sector in 2018 (nothing has really changed!) #noyaml

Link: https://noyaml.com
Source: https://github.com/ghuntley/noyaml

Problems discussed in the project above can be solved with awesome tools like nix and dhall:
- https://builtwithnix.org/
- https://github.com/dhall-lang/dhall-lang

But, they are written in #haskell and so they are very unfriendly, which is a very haskell thing.

#devops

> We programming communities always like to believe our best days are ahead of us and our worst days behind us. But it’s the right now that’s the issue and always has been. The problems we work on in the present are those that shape the future, and often the choice of problems is what matters more than anything else.

This article shares the author's vision about the main #haskell goals for the next 10 years.

And these goals look amazing!

Hedgehog automatically generates a comprehensive array of test cases, exercising your software in ways human testers would never imagine.

Generate hundreds of test cases automatically, exposing even the most insidious of corner cases. Failures are automatically simplified, giving developers coherent, intelligible error messages.

Features:

- Integrated shrinking, shrinks obey invariants by construction.
- Abstract state machine testing.
- Generators allow monadic effects.
- Range combinators for full control over the scope of generated numbers and collections.
- Equality and roundtrip assertions show a diff instead of the two inequal values.
- Template Haskell test runner which executes properties concurrently.

https://github.com/hedgehogqa/haskell-hedgehog

#haskell

Also available for #scala, #fsharp, #csharp, and #r

co-log is a composable and configurable logging framework. It combines all the benefits of #haskell idioms to provide a reasonable and convenient interface. Though it uses some advanced concepts in its core, we are striving to provide beginner-friendly API. The library also contains complete documentation with a lot of beginner-friendly examples, explanations and tutorials to guide users. The combination of pragmatic approach to logging and fundamental Haskell abstractions allows us to create highly composable and configurable logging framework.

If you're interested in how different Haskel typeclasses are used to implement core functions of co-log, you can read the following blog post which goes in detail about internal implementation specifics:

co-log: Composable Contravariant Combinatorial Comonadic Configurable Convenient Logging

https://github.com/kowainik/co-log

​​Introducing Mu for #haskell! This release comes w/ full support for building gRPC microservices, shifts a lot of checks to compile-time schemas & readily integrates with well-known Haskell libraries for many tasks. More here: https://www.47deg.com/blog/introducing-mu-haskell-0-1/

Docs: https://higherkindness.io/mu-haskell/

​​Haskell, the pure and lazy functional programming language, has now been around for more than 25 years. It had a profound influence on many other programming languages on the JVM: Java, Clojure and Scala and elsewhere: Purescript, Swift, Go (just kidding, not Go :-)). In this talk you will discover which #haskell constructs have made it to mainstream programming languages and change the way you program today. You will also get a glimpse of the features which are yet to be transferred for our greatest benefit. Warning: after this talk you might be tempted to try the real thing!