|
Gabriel Gonzalez
@
GabrielG439
Santa Clara, CA
|
|
Haskell enthusiast
|
|
|
10,290
Tweets
|
95
Following
|
7,698
Followers
|
| Tweets |
|
Gabriel Gonzalez
@GabrielG439
|
11h |
|
I put "No brackets", but the option I prefer is "same syntax as function application"
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Kowainik
@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:
kowainik.github.io/posts/policema…
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Joachim Breitner
@nomeata
|
Jan 30 |
|
The GHC Steering Committee just accepted the proposal “Unlifted Datatypes” by @sgraf1337:
github.com/ghc-proposals/…
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Igal Tabachnik
@hmemcpy
|
Jan 28 |
|
I just published my initial devcontainer setup for @code, 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 😅)
github.com/hmemcpy/haskel…
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
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
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Graham Hutton
@haskellhutt
|
Jan 28 |
|
Just started teaching Haskell to our first year students this semester. For anyone interested, all the course materials are available here: cs.nott.ac.uk/~pszgmh/pgp.ht… pic.twitter.com/ua3atEaRiZ
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 28 |
|
The default formatter for Dhall now renders nested fields much more compactly than before pic.twitter.com/w52YwIS7aE
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 27 |
|
Last call to complete the Dhall survey before I summarize this year's feedback twitter.com/GabrielG439/st…
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 26 |
|
Not that I'm aware of
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
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) pic.twitter.com/6X3xUIiXOf
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 24 |
|
I can also second that Liquid Haskell is well suited for this purpose
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Serokell
@serokell
|
Jan 24 |
|
We have started an interview series featuring companies that use Haskell in their everyday life. Read our first interview with @AsheshAmbasta, the co-founder & CTO of CentralApp:
serokell.io/blog/haskell-i…
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Joachim Breitner
@nomeata
|
Jan 24 |
|
The GHC Steering Committee just accepted
“Simplify subsumption” by Simon PJ himself
github.com/ghc-proposals/…
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 23 |
|
Yeah, the dhall-kubernetes main page is also fixed to use the new syntax, too
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Justin Le 🧧✨
@mstk
|
Jan 23 |
|
[ANN] Happy to release my new #haskell library, 'mutable', for "beautiful mutable values".
Automatically generate composable piecewise-mutable references for your data types.
mutable.jle.im
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Monoid Mary
@argumatronic
|
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)
argumatronic.com/posts/1970-01-…
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
Jan 21 |
|
Literally my PhD
|
||
|
|
||
| Gabriel Gonzalez retweeted | ||
|
Yannick Gladow
@y_gldw
|
Jan 21 |
|
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
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
|
||
|
|
||
|
Gabriel Gonzalez
@GabrielG439
|
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
|
||
|
|
||