Diogo (f a) Castro

Software engineer at Serokell.
Typed FP, Haskell, Scala, worshipper at the church of Church λ.
He/him.

[Diogo (f a) Castro @dfacastro]

Blogged: Haskell's kind system - a primer!

https://t.co/9eG8kX4Ict

Big shout-out to @mattoflambda, @_shrynx, Fintan and Miguel Esteves for helping me review this post! #haskell #fp

[Diogo (f a) Castro @dfacastro]

@Lfromthenorth @mattxiv @AnaKasparian Rather i should say "of which *some* women are a part"

[Diogo (f a) Castro @dfacastro]

@Lfromthenorth @mattxiv @AnaKasparian But terms like "menstruating person" aren't used refer to women. They're used to refer to people who menstruate, of which women are a part of.

How is using accurate terms to refer to a specific subset of the population dehumanizing?

[Diogo (f a) Castro @dfacastro]

@Lfromthenorth @mattxiv @AnaKasparian Talking to a specific person (which is what you're talking about) is not the same as referring to a subset of the population with certain characteristics (which is what @mattxiv is talking about).

No one is arguing you should refer to a specific person as "Ms Birthing Person".

[Diogo (f a) Castro @dfacastro]

@GarthGilmour @jetbrains That's amazing, congrats Garth!! :D lucky them!

[Diogo (f a) Castro @dfacastro]

@ReinH Yes! I quite liked the "progressive consumption tax" Prof. Robert Frank proposed here (around the 1:30 mark):

https://t.co/dZEmqs0YoT

[Diogo (f a) Castro @dfacastro]

@mattoflambda @kerckhove_ts This! Added in TH 2.18.0.0 IIRC

Unless you meant non-haddock comments? 🤔

[Diogo (f a) Castro @dfacastro]

Being a Haskeller is frustrating because my ring would just say `forever` and the joke would be lost 😩

[Programmer Humor @PR0GRAMMERHUM0R]

My wife and I are both developers... https://t.co/7khMAOFGNI

[Diogo (f a) Castro @dfacastro]

@kerckhove_ts @spencerjanssen Using the raw functions from tz alone, it's easy to get things wrong. See the motivation section in the Readme

https://t.co/7RrBAgJ3sJ

[Diogo (f a) Castro @dfacastro]

@kerckhove_ts @spencerjanssen Yup, that's what tztime uses under the hood.

The problem tztime aims to solve is the complications you quickly run into when manipulating time (adding time, subtracting time, getting the time at the start of day, etc).

[Diogo (f a) Castro @dfacastro]

@kerckhove_ts @spencerjanssen Not if you use the intended constructor functions (see Screenshot)

You're not supposed to use the TZInfo constructor. Maybe I should have hidden it behind an "Internal" module 😅

[Diogo (f a) Castro @dfacastro]

@kerckhove_ts @spencerjanssen There's a fromUTC :: TZInfo -> UTCTime -> TZTime.

Then you can grab just the LocalTime component of the TZTime.

[Diogo (f a) Castro @dfacastro]

@kerckhove_ts @spencerjanssen Might I also throw my own package in the ring? https://t.co/kJ7pMhY3pm

It's built on top of the tz/tzdata packages, (IMO) improved ergonomics, hard to misuse.

[Andy @_andys8]

Haskell language server release v1.9.0.0 with lots of changes 🎉

https://t.co/KSj1OnQQRj

[Diogo (f a) Castro @dfacastro]

@vbhvsgr @mrdrozdov Me too, got like 30 of those these past 2 weeks

[Diogo (f a) Castro @dfacastro]

@ReinH It almost feels like he means some sort of lender of last resort.........

[Serokell @serokell]

In our latest article, @int_index tries to solve a long-standing misconception about how the DataKinds extension works.

Read on our blog: https://t.co/Y3YNvScDNq

[William Rose @dodecahedra]

Very strong opening to a math video. Ok, you have my attention.

[Matt Parsons @mattoflambda]

in the spirit of the season,, i wrote a Debugging Horror Story

https://t.co/lnk9dJhFRe