You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We've discussed use-cases for structural typing / algebraic data types after the meetup and I've found the old version of our code in version control.
While I can't talk about Haskell, I can provide a real-world example and a TypeScript implementation of one of the saner type system magic. We can pair up for the talk.
Activity
tommie-lie commentedon May 6, 2025
We've discussed use-cases for structural typing / algebraic data types after the meetup and I've found the old version of our code in version control.
While I can't talk about Haskell, I can provide a real-world example and a TypeScript implementation of one of the saner type system magic. We can pair up for the talk.
janvogt commentedon May 28, 2025
@tommie-lie and I will prepare something.
SomeBdyElse commentedon May 28, 2025
Found speakers @tommie-lie and @janvogt but no date set yet
SomeBdyElse commentedon May 28, 2025
@tommie-lie and @janvogt How about 2025-07-30?
SomeBdyElse commentedon Jul 14, 2025
Hi @tommie-lie , Hi @janvogt ! Would you be interested in doing this talk in two weeks on 2025-07-30?