Nicola Bonelli

FP enthusiastic, PhD, research software engineer. Haskell, Rust, C++1y/z, NFV. Opinions are my own.

[Nicola Bonelli @nicolabonelli]

The point-free blackbird operator (...) = (.) . (.) in #haskell is amazing! https://t.co/8PE4souI40

[Nicola Bonelli @nicolabonelli]

@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...

[Moritz Kiefer @cocreature]

We have just released ghcide 0.1.0 with a ton of improvements and bugfixes: https://t.co/v0R4wZlFvA 🎉 Special thanks to @IborraPepe and @mpickering_ for contributing performance improvements!

[Jacob Stanley @jacobstanley]

Strict data and lazy functions is the default you should be using for all production Haskell code.

https://t.co/WQlduBc5NI

[Neil Mitchell (neildmitchell @🪡) @ndm_haskell]

Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://t.co/jdHWXLhHW1 for details. With @cocreature, @alan_zimm and many contributors from both sides.

[Nicola Bonelli @nicolabonelli]

@NoBugsHare Haskell

[RSTOR - now part of PacketFabric @rstor_io]

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)

[Michael Snoyman @snoyberg]

Stack 1.5.0 is out the door! Thank you to the contributors! https://t.co/AbihHokGfn

[Nicola Bonelli @nicolabonelli]

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

[Nicola Gigante @gignico]

Really fun and clever! Here more details: https://t.co/TKnnvs3FbS https://t.co/4E5oeHShyp

[Nicola Bonelli @nicolabonelli]

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

[Nicola Bonelli @nicolabonelli]

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

[Nicola Bonelli @nicolabonelli]

@denibertovic Arrived here as well!

[José A. Alonso @Jose_A_Alonso]

Two PhD positions in Ljubljana: foundations of type theory and theory of programming languages. https://t.co/YI9aIdljni #PhD #CompSci

[Nicola Gigante @gignico]

Every time a C++ programer says "functor" to mean "function object", a mathematician dies... XD https://t.co/rPr79KD3jA

[Nicola Bonelli @nicolabonelli]

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

[Dr Eugenia Cheng --no advice please-- @DrEugeniaCheng]

Hellooooooo London!!! So excited to launch "Beyond Infinity" at New Vic this evening! https://t.co/vXZNS1AaBB

[Nicola Bonelli @nicolabonelli]

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

[gabby @GabriellaG439]

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

[Yaron (Ron) Minsky @yminsky]

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