Our great sponsors
-
As someone interested in prolog (and co-founder of terminusdb.com) I can sympathise a lot with your laundry list there :D Lack of type and mode annotations is a hassle on small programmes, and a serious problem on large ones just from the point of view of avoiding bugs, without even getting into performance.
-
Personally, and with all respect to LogTalk, I have to disagree with you on OOP (1,2,....) and hope that trend discontinues, but I do think multi paradigm is the way to go, hence this post :)
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
By way of example, I'd like to bring in F-star (https://www.fstar-lang.org/) They have a type system in which the functional programming language (or at least a nice clean fragment of it) can be used in the type annotations. This is truly amazing.