Nicola Bonelli

The point-free blackbird operator (...) = (.) . (.) in #haskell is amazing! youtu.be/seVSlKazsNk

@impurepics @kowainik @kowainik please try dissecting the runtime cost of newtype (and hence the safe coerce) when it is used in a more structured context (e.g. converting lists of newtypes to lists of the original types). It would be truly appreciated...

Mini-patterns by @kowainik #1 Newtype Read more: #newtype" target="_blank" rel="nofollow noopener">kowainik.github.io/posts/haskell-…

We have just released ghcide 0.1.0 with a ton of improvements and bugfixes: github.com/digital-asset/… 🎉 Special thanks to @IborraPepe and @mpickering_ for contributing performance improvements!

Strict data and lazy functions is the default you should be using for all production Haskell code. jacobstanley.io/help-my-haskel…

Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See neilmitchell.blogspot.com/2020/01/one-ha… for details. With @cocreature, @alan_zimm and many contributors from both sides.

@NoBugsHare Haskell

We opened up an office in Genoa, Italy on 05/20/19! We chose Genoa to establish a European presence & support demand for our RStor Cloud Services. We can't wait to see what the future holds #AboveTheCloud. Here's the #RStor Italy team with @tgaughan, our VP of Engineering. (1/2)

Stack 1.5.0 is out the door! Thank you to the contributors! github.com/commercialhask…

@GabrielG439 C++ people tend to confound composition with polymorphic inheritance ala existential quantification. Just because they love virtual keyword

Really fun and clever! Here more details: en.wikipedia.org/wiki/Tupper%27… twitter.com/fermatslibrary…

@lambdista Se eri a Lucca potevi fare un fischio...

@emaxerrno Cheers! Now you should consider to migrate everything to std::string_view :-)

@denibertovic Arrived here as well!

Two PhD positions in Ljubljana: foundations of type theory and theory of programming languages. bit.ly/2osaTix #PhD #CompSci

Every time a C++ programer says "functor" to mean "function object", a mathematician dies... XD twitter.com/AdiShavit/stat…

@iLevex @ashleydaviesl Not sure why you state that, but gdb is for sure the worst tool to spot race conditions!

Hellooooooo London!!! So excited to launch "Beyond Infinity" at New Vic this evening! twitter.com/talknewvic/sta…

7 months to deliver the first 25 wood houses for the earthquake victims! This is the very #italian #bureaucracy! #shame

Attaching `perf top` to a live Haskell program compiled with debugging symbols (i.e. `-g`) is amazing

Odd historical accident: functional languages have better type systems for imperative programming than any traditional imperative language.