5 amazing programming languages to explore

TOPIC
5 amazing programming languages to explore.

MOTIVATION
As you have already seen that we focus extensively on Type systems, Type theory and semantic models that leverage latest computer science research.

Given the sophisticated models and results that have emerged from the realm of
mathematical logic
proof assistants
functional programming
algebraic data types
linear types
constructive mathematics
co-inductive types
intuitionistic foundations

we will focus on five amazing programming languages that can serve as an exemplar. Interesting ideas that we can learn from.

Since we are heavily invested in modern C++23/26 and beyond, we believe that in order to qualify, a new programming language

must push the envelope in terms of original thought and innovation,
must be within the ball-park of C++ when it comes to performance
and preferably have an individual committed leadership to give direction and have skin in the game.
must complement via another paradigm and/or interoperate with C++ as well

As part of the session, both, an overview of the capabilities and possibilities will be presented. You get to code as well.

Join the session to find out what those 5 programming languages are and what they bring forth !

Your active participation is solicited and appreciated during the session.

ONLINE

We use JITSI which has Audio, Video and Chat integrated in a single interface.

Since JITSI is free software based service and has open interface, it is easily accessed using Browser or as a Android app.

JITSI

URL https://meet.jit.si/SoftwareHub

LANGUAGE
English

RSVP is required.

Code of conduct applies. Absolutely safe for Students and Women to attend and interact freely.

All members of the Ummah are invited !