Articles

The State of Ruby 3 Typing

(Jul 29) #ruby Save to Pocket

Typing is a pretty important part of programming. Unless you use voice to text. But that's not the typing I was talking about! Soutaro Matsumoto talks exactly about that other type of typing. Specifically he presentd the introduction of static typing in Ruby 3 through the RBS signature language. This is special because Ruby is/was a dynamically typed language.

Zero Cost References with Regions in Vale

(Jul 29) #vale Save to Pocket

One of the disadvantages of using C++ or C, which are considered to be among the fastest languages, is that the time to develop is a lot slower compared to some other languages. Well Vale is trying to solve that problem. Evan Ovadia's article introduces the language trying to provide developers with an ergonomic environment that be used to optimize when necessary.

Leibniz would have known how to override equals

(Aug 06) #philosophy #equality #math Save to Pocket

How do you tell if two things are equal? How granular do you want to get? In this concise article, Felix Cherubini philosophizes on what it means for two things to be equal in programming. Felix frames the answers to these questions in the context of Leibniz's law, which relates to the if and only if definition of equality.

And that's it for today! Discuss this issue at our subreddit r/morningcupofcoding.

Did you like what you read? Let us know by clicking one of the links below.

Liked - Disliked

I hope you enjoyed reading the latest issue of Morning Cup of Coding. If you did, consider supporting us by becoming a patron (Patreon) for perks like ad-free issues, or via a one-time donation via PayPal.

Interested in sponsoring our newsletter? Click here to send us an email.

Cheers,
Alex