Improve devops workflows and self-host Docker, Grafana, GitLab, OpenFaaS and more on the simplest cloud platform. Spin up preconfigured cloud servers with the growing library of 1-Click Apps on DigitalOcean Marketplace.

Get started with a new user credit for Morning Cup of Coding readers.

Articles

(Jun 06) #spark #ada

The SPARK programming language is a subset of Ada and its main goal is to provide the basis for a formal verification framework and static analysis toolset. Over the years SPARK has been implementing more and more of the Ada language, but one feature has been missing for quite some time: support for pointers. It wasn't until Rust brought ownership and borrowing into the mainstream that rekindled the discussion. Claire Dross explains in this article how they brought these concepts into SPARK.

(Jun 06) #python

In Python, an easy way to append to a list is by using the += operator. Naturally, you would think then that you can add two lists together by using the + operator. Turns out, that is not the case and the reason has to do with the code that is generated when using those operators. This article explains more.

(Jun 06) #cpp

Here's a quick and short method of generating a ranged random number that avoids divisions most of the time (with some statistical bias). According to the paper, written by the same author as the article Daniel Lemire, this algorithm can "multiply the speed of unbiased random shuffling on x64 processors." Apparently Go uses this in its shuffle function.

-- * --

Programming language of the day: Clarion. "Clarion is a commercial, proprietary, 4GL, multi-paradigm, programming language and Integrated Development Environment from SoftVelocity used to program database applications. It is compatible with ISAM, SQL and ADO data access methods, reads and writes several flat file desktop database formats including ASCII, CSV, DOS (Binary), FoxPro, Clipper, dBase, and some relational databases via ODBC, MS SQL Server, Sybase SQL Anywhere and Oracle through the use of accelerated native database drivers, and XML, Clarion can be used to output to HTML, XML, plaintext, and PDF, among others."

-- * --

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.

Cheers,

Pek