Tootfinder

Opt-in global Mastodon full text search. Join the index!

@patrikja@functional.cafe
2024-03-22 09:54:00

Please consider submitting to the Workshop on Type-Driven Development (TyDe). Submission deadline 2024-05-27, workshop 2024-09-06 in Milan, Italy. icfp24.sigplan.org/home/tyde-2
Org. by Sandra Alves and @…

TyDe 2024 - ICFP 2024
The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: dependently typed programming; generic programming; design and implementation of prog…

@ianbicking@hachyderm.io
2024-04-25 14:22:52

"Make invalid states unrepresentable" is generally a good idea I try to follow: geeklaunch.io/blog/make-invali
Personally I struggle with this principle with editing and user input. A creation or editing process…

Make invalid states unrepresentable
"Type-driven development"