►Full First Look Series Playlist: https://www.youtube.com/playlist?list=PLvv0ScY6vfd-5hJ47DNAOKKLLIHjz1Tzq►Find full courses on: https://courses.mshah.io/►Jo...
Mike Shah a computer science professor who teaches programming topics, primarily modern C++, C, D, game, and computer graphics. He is also a former senior 3D Graphics Engineer who worked at several game and graphics companies. He also has a YouTube channel where he covers a variety of software development topics with a focus on D and C++.
Over the past several months, he has been exploring several alternative high performance languages as part his First Impressions series, devoting a full episode to each one. Instead of giving a canned presentation, he lets the audience ride along on his journey as he tries to uncover the language’s capabilities while sharing his impressions along the way.
His latest episode #16 covers Ada, which should be exciting after already covering 15 of them:
Ada is underrated. It has clumsy syntax that turns people off. But it gets many things right that other languages don’t even think about. Look for the online book “Ada Distilled” for an intro.
Added: I looked at the video a little bit and it’s not very informative. This is old and has some errors and gaps but it’s a quick read that gets to some of the good stuff:
I’ll try to find something more recent that describes SPARK. SPARK is a verification system integrated with Ada that’s maybe comparable to Liquid Haskell. There is effort under way to make something like it for Rust.
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programming@programming.dev
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person’s post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
Follow the programming.dev instance rules
Keep content related to programming in some way
If you’re posting long videos try to add in some form of tldr for those who don’t want to watch videos
Ada is underrated. It has clumsy syntax that turns people off. But it gets many things right that other languages don’t even think about. Look for the online book “Ada Distilled” for an intro.
Added: I looked at the video a little bit and it’s not very informative. This is old and has some errors and gaps but it’s a quick read that gets to some of the good stuff:
http://cowlark.com/2014-04-27-ada/index.html
I’ll try to find something more recent that describes SPARK. SPARK is a verification system integrated with Ada that’s maybe comparable to Liquid Haskell. There is effort under way to make something like it for Rust.