Twitter | Search | |
Gabriel Gonzalez
Haskell enthusiast
10,290
Tweets
95
Following
7,698
Followers
Tweets
Gabriel Gonzalez 11h
Replying to @SusanPotter
I put "No brackets", but the option I prefer is "same syntax as function application"
Reply Retweet Like
Gabriel Gonzalez retweeted
Kowainik Jan 29
Meet our new creation — Policeman — your PVP adviser👮 Struggling with assigning the new version numbers to your Haskell packages? Worry no more 🚓 Policeman is here to help with this process! Read more about the tool in our blog post:
Reply Retweet Like
Gabriel Gonzalez retweeted
Joachim Breitner Jan 30
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by :
Reply Retweet Like
Gabriel Gonzalez retweeted
Igal Tabachnik Jan 28
I just published my initial devcontainer setup for , allowing you to install a Haskell environment (via HIE) with zero effort! Please try it, and send PRs to make it better (I really have no idea what I'm doing 😅)
Reply Retweet Like
Gabriel Gonzalez Jan 28
I became more proficient in using cabal once I began explicitly running "cabal configure" instead of depending on other subcommands running configure implicitly
Reply Retweet Like
Gabriel Gonzalez retweeted
Graham Hutton Jan 28
Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here:
Reply Retweet Like
Gabriel Gonzalez Jan 28
The default formatter for Dhall now renders nested fields much more compactly than before
Reply Retweet Like
Gabriel Gonzalez Jan 27
Last call to complete the Dhall survey before I summarize this year's feedback
Reply Retweet Like
Gabriel Gonzalez Jan 26
Replying to @k0001 @TravisMWhitaker
Not that I'm aware of
Reply Retweet Like
Gabriel Gonzalez Jan 26
You can now generate Haskell types from Dhall types using Template Haskell. This helps when you want to keep the Dhall type as the source of truth (similar to how most IDLs work)
Reply Retweet Like
Gabriel Gonzalez Jan 24
I can also second that Liquid Haskell is well suited for this purpose
Reply Retweet Like
Gabriel Gonzalez retweeted
Serokell Jan 24
We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with , the co-founder & CTO of CentralApp:
Reply Retweet Like
Gabriel Gonzalez retweeted
Joachim Breitner Jan 24
The GHC Steering Committee just accepted “Simplify subsumption” by Simon PJ himself
Reply Retweet Like
Gabriel Gonzalez Jan 23
Yeah, the dhall-kubernetes main page is also fixed to use the new syntax, too
Reply Retweet Like
Gabriel Gonzalez retweeted
Justin Le 🧧✨ Jan 23
[ANN] Happy to release my new library, 'mutable', for "beautiful mutable values". Automatically generate composable piecewise-mutable references for your data types.
Reply Retweet Like
Gabriel Gonzalez retweeted
Monoid Mary Jan 22
i try very hard to keep abreast of new Haskell books being released and all that, and i've updated the For Beginners page on my blog to reflect my current opinions about best Haskell resources (mainly for autodidacts)
Reply Retweet Like
Gabriel Gonzalez Jan 21
Replying to @sigfig
Literally my PhD
Reply Retweet Like
Gabriel Gonzalez retweeted
Yannick Gladow Jan 21
Reply Retweet Like
Gabriel Gonzalez Jan 21
There is a difference when you want to mechanically prove whether two coinductive programs are equivalent. With coinduction you can prove equivalence safely via bisimulation if they have the same pattern of Skip constructors, whereas with general recursion you can't
Reply Retweet Like
Gabriel Gonzalez Jan 21
Presumably the constructor emitted by each step of the coinductive loop would have a "Skip" option that does nothing, corresponding to one iteration of the no-op while loop
Reply Retweet Like