Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @JulienTruffaut
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @JulienTruffaut
-
Prikvačeni tweet
I wrote a blog post about a new optics encoding which enables custom error reporting in Dotty. I am super excited because it offers flawless type inference thanks to Scala unique features like variance and union types. https://fp-tower.github.io/2020-01-27-introducing-error-reporting-in-optics/ …
#scala#monocle#opticsHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice! https://blog.merigoux.ovh/en/2019/12/20/taxes-formal-proofs.html …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
Just realized all the
@skillsmatter videos are gone … anyone know if there's a chance of moving them to YouTube or something? Would be a shame to lose all that knowledge.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Does anyone know a quiet place to record a screencast in London? Preferably central or east London, rent by the hour/day.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
I think scala is finally reaching its "productivity plateau", having made peace with variance and pure functional programming (and error reporting).
#fs2,#zio, that optic lib... Really nice to see. Yeah, took a bit of time and epic blood feuds and community wars, but stillhttps://twitter.com/JulienTruffaut/status/1221738634375835648 …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
I’m pleased to present the flame-bait sequel to my previous blog post: “No, dynamic type systems are not inherently more open.” (Please send me your hatemail at your earliest convenience.) https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
If you're lucky you find a project/maintainer(s) with enough bandwidth for you, in a subject matter you're interested in. (That is, this isn't guaranteed to work, you need some luck too.)
Prikaži ovu nitHvala. 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 am also playing with various composition for traversal where you could either fail early, discard error from the left, discard error from the right and I guess accumulate errors. https://github.com/julien-truffaut/Monocly/blob/f19f5f2698561839d6f9508dec3bb21dbedddf84/src/main/scala/Main.scala#L38-L55 …
Prikaži ovu nitHvala. 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
-
Julien Truffaut proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Special thanks to
@travisbrown and@dwijnand for helping me solving an issue with Mima.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Monocle 2.0.1 is available with a bug fix around macro hygiene and couple of new features. Thank you to all contributors.http://julien-truffaut.github.io/Monocle/release_notes.html#201 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
As I finish writing my book, I need to start looking for my next challenge. Anyone in the UK hiring FP
#Scala devs? Ideally, an eco-friendly company who cares about climate change. FYI: I can start on April 1st & I need Visa sponsorship. RTs much appreciated.Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Dotty type inference is so great! It seems we can have fully inferred polymorphic optics in Scala 3. I am so excited. Here is an example:https://github.com/julien-truffaut/Monocly/blob/master/src/main/scala/Main.scala#L19 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je Tweet
"'The newer machines, any time something breaks, you’ve got to have a computer to fix it,' Stock said."http://www.startribune.com/for-tech-weary-midwest-farmers-40-year-old-tractors-now-a-hot-commodity/566737082/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Do you want to learn how to handle errors using functional programming in Scala? Then join me on Saturday 18th of January for a 1-day training course in London. Financial aid is available for qualified applicants who cannot afford the listed price.https://www.eventbrite.co.uk/e/foundation-of-functional-programming-error-handling-registration-84888599085 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Friendly optics type parameters. It is a small change, but it should make Monocle code base more beginner-friendly. What do you think?https://github.com/julien-truffaut/Monocle/pull/790 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I blogged about the next major version Monocle (3.x), our objectives and some of the features we have in mind. I am incredibly interested in getting your feedback.https://fp-tower.github.io/2020-01-06-monocle-3/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Julien Truffaut proslijedio/la je TweetHvala. 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.