Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @seagreen__
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @seagreen__
-
Prikvačeni tweet
Into Haskell, Unison, and getting people's data back onto their own computers (Perkeep, Sandstorm, etc). Writing a book about making a simple compiler. Open invitation: if you're interested in any of those or are trying to learn functional programming feel free to message me.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
Sorry
#haskell community, I feel like I have failed you. My team will be discussing which tools they want to migrate to instead over the next few weeks, minus my highly opinionated position on it all
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The only three valid "protocols" for dealing with an MVar are take/put, put/take, and some threads taking and some putting, right?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
Yep, we used it in a code base I worked on a few years ago. In my experience when I need channels for inter-thread communication I never need bi-directional, I usually have some producers and some consumers, but never both in single thread. This lib helps in those cases.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
More generally, I love the idea of main being a one-liner that summarizes the design of the program.https://twitter.com/chris__martin/status/1222301720157442048 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I'd love to be proven wrong. Also, re this line: > The language that GHC supports is incredibly complex. GHC 8.6.3 man page lists 115 language pragmas. The man page is missing pragmas. I don't think there's a complete list of pragmas on the web.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Fantastic post, I agree with everything in here, except the hopefulness. I think the community already has principles to guide the language. These principles are: cool features are great, feature flags are great, defaults don't matter much.https://twitter.com/_osa1/status/1219916375956869125 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
3 years ago I made a prototype of it: https://github.com/seagreen/plate I can't have been the first though, does anyone know of any academic work or other projects in that area?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Anyone have ideas you toss around in your head for years and could use other people's thoughts on? My current one is a schema system for JSON based on algebraic types. It seems like a really good idea, but doesn't get much attention.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
In comparison with Elm and React, Concur makes explicit the previously behind the scenes event loop. And gets rid of the mutation (setState). This allows using different event loop abstractions for different parts of the UI. This is powerful. Recovering TEA is a simple one liner.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
I wholeheartedly agree - I think the Concur model is honestly one of the most impactful developments in UIs since Elm/React. Shoutout to
@ajnsit who came up with it.Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I was a diehard Model/View/Update fan until I tried this. I've written two MVU games, one in Elm (https://github.com/seagreen/depths ) and one in Haskell (https://github.com/seagreen/hermetic …). concur-replica seems like an INSANE improvement and I'm looking forward to trying something bigger with it.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
/cc
@xilnocas who paired during TS work on an upstream dep,@mwotton who I've mentioned this to already, and@pkamenarsky who wrote concur-replicaPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Shipped a little concur-replica example app: https://github.com/seagreen/concur-replica-example-2d … Slightly tongue-in-cheek, but I'm pretty happy with the problem statement:pic.twitter.com/P6nCeGEKiX
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
Anyone working on any neat side projects over the holidays?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
Thank you :) It's interesting how the essence of various build systems shows up in the languages they speak. While we expected to see the usual Applicative/Monad examples, it was a complete surprise for us to find that pretty much every choice of `c` gives an existing system!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ian Jeffries proslijedio/la je Tweet
I love charts like this; an excerpt from Build Systems a'la Carte at
#haskellx. A great denotational design breakdown of build-systems! This slide shows how constraining effect systems results in different build-system models! Fantastic talk@andreymokhov! https://skillsmatter.com/skillscasts/14417-build-systems-a-la-carte …pic.twitter.com/phXURLDuMX
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
First holiday project shipped
Introducing Acme PCF Specification: https://github.com/seagreen/acme-pcf-specification …
"RealWorld[1] but for a small language."
[1]https://github.com/gothinkster/realworld …Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
if case "foo" of "bar" -> True _ -> False then 5 else 3 This isn't even with BlockArguments. I didn't understand haskell's syntax well.
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
-
Didn't realize how much BlockArguments changed, eg it makes this valid: bar :: Int bar = negate case () of () -> 5 Details:https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0090-block-arguments.rst#proposed-change-specification …
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.