vp · @vpavlyshyn
28 followers · 240 posts · Server fosstodon.org

Top 3 problems of languages
1) Null, undefined, etc. Nulls are a horrible concept. It is a million ways how to avoid nulls. Maybe monads, Either monads, dependent types
2) Exceptions and throwing async operations.. We could handle exceptions, async operations,s and even more with algebraic results and continuations. , , , and already do it.
3) Classes / Object dualism. The problem of the fragile base class. Languages like and prove that you don't need them.

#ocaml #idris #eff #koka #rust #go

Last updated 3 years ago

Chad Scherrer · @cscherrer
627 followers · 108 posts · Server bayes.club

( ?) seems very cool:
koka-lang.github.io/koka/doc/i

Anyone here tried it for applications or dev work beyond Koka itself? Any sense of how far along it is?

#kokalang #koka

Last updated 3 years ago

· @phisch
50 followers · 563 posts · Server muenchen.social

Heute mal wieder ne Packung Mehl ergattert. Der Name ist Programm. zu bekommen ist da fast einfacher.

#Goldstaub #Lebensmittelknappheit #mehl #koka

Last updated 3 years ago