Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @lexi_lambda
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @lexi_lambda
-
Alexis King proslijedio/la je Tweet
I wrote some thoughts on software performance: https://blog.nelhage.com/post/reflections-on-performance/ …
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
-
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa (mentally preparing myself to see a lot of SIGSEGV)pic.twitter.com/JHMDRloDI8
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I just wrote 85 lines of C code in the GHC RTS in an attempt to implement extremely naïve support for capturing portions of the RTS stack, and (1) I am pretty certain it’s wrong in more ways than I can even begin to imagine, and (2) I feel incredibly dirty.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
when you have to write a 40 line shell script to get searchable local documentation because none of your ecosystem’s tools actually work togetherpic.twitter.com/YZiXuvW89e
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
This is a really nice article. It’s also relevant to Haskell: I see people in the Haskell community ask, “Why don’t we just monomorphize everything, like Rust? Then we could have zero-cost abstractions!” I hope none of those people are the ones complaining about compile times.https://twitter.com/PingCAP/status/1222943957207875584 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Answering “yes” to questions of the form “is X or Y true?” is my least favorite internet joke. Not only is it completely unhelpful, people think they’re making a clever joke about “inclusive or,” which is wrong: “yes” would still be a valid answer if the question used “xor.”
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexis King proslijedio/la je Tweet
most expressive type system in the world, howeve,r it is so fragile as to become inconsistent when handled by any force other than the delicate touch of a lesbian .
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Whenever I play old PC games, I always get a kick out of looking at the system requirementspic.twitter.com/NoYtqnfNUy
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
“This morning (January 24), the US Centers for Disease Control and Prevention confirmed that a second US case has been identified in Chicago.” oh goodhttps://arstechnica.com/science/2020/01/china-locks-down-35m-people-as-us-confirms-second-coronavirus-case/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
can’t wait for Dependent Haskell so that I can get even more frustrated at all the things that are just barely out of reach
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
me: f :: Sing a -> F a b :~: F a c f SA = Refl f SB = Refl GHC: ok me: g :: F a b :~: F a c g = Refl GHC: I don’t get it
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Are there any languages that can decouple logical representation from physical representation in this way? The only language I can think of that might be able to do it is ATS, but I don’t know ATS. Can I write an inductive GADT that is represented as a packed array in ATS?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
An observation from my Haskell effect system project: inductive data structures are awesome, but as soon as you want your inductive data structure to be represented in memory as something other than a linked list, all of Haskell’s nice type system features go out the window.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I’ve been tinkering a little more with my work-in-progress effect system implementation, and I can confidently say this is some extremely weird Haskell codepic.twitter.com/3rO1u4qUWQ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
one of these days I’m going to figure out this “sleeping” thing everyone tells me about and I bet it’s going to be awesome
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexis King proslijedio/la je Tweet
I say this partly because some of the reaction to
@lexi_lambda's recent very nice blog post seems to be summarised by "No! This is how you do programming! Everyone's problems are just like mine and everyone thinks the same way as me!"Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Alexis King proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Alexis King proslijedio/la je Tweet
I almost universally see this used as a way of dismissing dynamic languages and it makes me think less of people who say it; at least, less open to having a genuine or respectful conversation about it.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Likewise, I’ve seen people pointing out that you can do everything you can do in Python in Haskell because you can implement a Python interpreter in Haskell. This is also technically true but not at all practically useful. Please stop making these arguments.
Prikaži ovu nitHvala. 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.