Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @trupill
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @trupill
-
Alejandro Serrano, Haskeller proslijedio/la je Tweet
There's upcoming work for updating
@arrow_kt docs and adding missing sections, so it'd be helpful to get feedback on what pages you find naive, wrongly explained, complicated, missing, or whatever. Any feedback through any via is welcome
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Una empresa de digitalización de historias clínicas tenía un pacto secreto con una farmacéutica para que el
#software promoviera sus medicamentos. ¿Cómo es posible que se pueda vender software de#eHealth sin auditoría ni control?#ethics#regulationhttps://twitter.com/RetoGregori/status/1222640286897180672 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
¿En qué momento te parece mal esto? Que haya padres que están en el paro cuyos hijos tienen iPad, y hasta lujos, en lugar de aspirar solo a trabajar, tener casa y comer. Lipovetsky: https://elpais.com/elpais/2020/01/28/eps/1580212910_212654.html …pic.twitter.com/j7CXn8iE0E
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Thanks! Although there are probably other papers which give a better introduction! (esp. since we have to dive in fairly quick) This paper with
@tomaspetricek and Alan Mycroft has more background/intro https://kar.kent.ac.uk/61623/1/effects-revisited.pdf … relating more to effect systems and semanticsHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Looking forward to reading (and maybe even understanding a bit) about graded monads!https://twitter.com/dorchard/status/1223252740131954689 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Graded monads and parameterised monads both generalise monads to indexed forms, but with different kinds of indexing.
@heades, Phil Wadler, and I show that they can both be subsumed by a particular class of lax functors (with a little extra structure) https://arxiv.org/pdf/2001.10274.pdf …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Sadly is not something we have business-wise (yet) but, each piece of content or open source project we share about Haskell, it has an unusual level of traction
#JustSayingHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Mu-Haskell 0.1 is here! Try and tell us (or send issues for bugs or new features)https://twitter.com/47deg/status/1222946212518584320 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Y de ahí mi "entrañable" acento madrileño al hablar neerlandés. Ya tengo excusa para no saber decir "huis" ni "brug" correctamente.https://twitter.com/materia_ciencia/status/1222771676229730304 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Haskell-ide-engine and Ghcide teams are joining forces to work on a single Haskell IDE. See https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html … for details. With
@cocreature,@alan_zimm and many contributors from both sides.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is great news for the Haskell community https://neilmitchell.blogspot.com/2020/01/one-haskell-ide-to-rule-them-all.html …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I actually don't find any difference in doing so, as they both expose the same API. In fact, I prefer to expose patterns, because that way users can match on the result.https://twitter.com/_alpacaaa/status/1211763959793098752 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Who should I follow on Twitter or in the blogosphere to learn more about
#CommonLisp?Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I'm really honored to become part of the GHC Steering Committee

https://mail.haskell.org/pipermail/ghc-devs/2020-January/018529.html …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hopefully, that will make GHC be much simpler in its treatment of arrowshttps://twitter.com/nomeata/status/1220727045292003331 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himselfhttps://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
If you're at the
@fby_conf today, don't miss Imran Settuba from@47deg giving an introduction to type-proofs powered by#ArrowMeta at 11:35 on the FP track!#Kotlin#funcbypic.twitter.com/dxggN7wFt4
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alejandro Serrano, Haskeller proslijedio/la je Tweet
Folds! Learn about folds! This example comes just after for-loops in the Phrasebook, as "folding" a list is often described as the "functional" alternative to "looping over" a list.https://typeclasses.com/phrasebook/folding-lists …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.