Quinta da Regaleira in Sintra, near Lisbon. But which work of science fiction (or is it weird fiction?) am I thinking of? The author mentions that this was a significant source of inspiration.
Someone who knows #Haskell and ML: is there a writeup somewhere explaining how first-class modules (a la ML) can do similar things to Haskell type classes? I'm finding it hard to figure that out.
To give a more concrete case: suppose I wanted to write something like Control.Applicative, which provides an 'interface' Applicative with some methods, as well as functions that work for any Applicative. How would I do this with ML-style first-class modules?
@koz Not quite your case, but “The next 500 module systems” paper gives a nice overview of the problem, bridging modules, type classes and records (and scopes!).
Video of the interview with #guix founder @civodul is available. A great chat about the #nix deployment model, his interested in #guile and #free software. Lots of interesting chat about motivation in #freesoftware, #gnu and #linux - as well as the Plan9-ification of Guix!!
Is there such a thing as a basic AM/FM tuner that you can plug in to a USB-C port? Watching a little bit of info about disaster preparedness, sometimes internet goes down but terrestrial radio is available. I'd love to have a little gadget that could let me pop in my airpods and receive a local radio signal, but … this does not appear to exist, which seems weird
We are upgrading the preset SimpleX relays to the new version - it is compatible only with the apps starting from v5.5.3 (released early February) - please upgrade to the latest version and ask your friends to upgrade too.
I ask because the handbook opens by saying it is still an active research project and not production-ready yet. However, it seems to be having many mature components used by other projects and startups.
Now that every PC and their dog has had USB-C/USB3 ports for a while It is strange that we can’t use it for direct connection easily and still have to bounce link off some noisy channel first.
Like, come on, the devices are sitting next to each other. With a single symmetric cable we could be having secure 5Gb+ connections right away! :blobcathyper:
Not sure why trailing commas aren't more common in programming languages and formats. Does it make the parser simpler? Can't imagine. (current example: #haskell)
@johnny > drop the transaction if we’ve had no luck for x seconds
That would be registerDelay. It’s in IO, but it gives you a TVar, that will flip to True when the time comes. You can readTVar it to decide retry or bail.
Also, you can wrap pretty much anything in timeout (in IO proper).
In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much...
Anyway, I didn’t encounter much problems with type classes while teaching Haskell, not even as a first language. May all of my students were okay with some suspense 😅
I should write a huge text about how #Haskell is a great language and is getting better all the time.
Just to dilute the stream of negativity constantly appearing on feeds.
Kessler-Kaspersky Syndrome: It is impossible to access orbit as the newly-launched object will get instantly pwned by swarms of previously infected satellites, now orbital malware platforms.
Haskell Interlude 36 - John Hughes (haskell.foundation)
In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much...