Rust, declared: a program that can't go wrong

What is Declarative Programming?

Declarative Programming is one of the major programming paradigms. Declarative Programming is often defined in contrast to Imperative Programming. In Imperative Programming the programmer defines how a program should work. In Declarative Programming the programmer defines what the outcome of the program should be. There is implicitly more room for interpretation by the compiler in a declarative program than in an imperative program.

What is Imperative Programming?

Computer Assembly Languages are absolutely imperative languages. Assembly Languages define how a program should operate at the most specific level without crossing the hardware/software boundary. Programmable Circuits are similarly imperative languages that do cross the hardware/software boundary.

How is Declarative Programming related to Functional Programming?

Functional Programming is one of the many possible abstractions in Declarative Programming. In Functional Programming the programmer uses functional composition to declare a desired outcome of a program. There are many possible implementation choices that a compiler can make when implementing a functional program. The irreducible semantic component of Functional Programming is the concept of a value passed to a function, performing some operation, then returning a value. As long as the compiler satisfies these semantic contracts when choosing an implementation, the program will not "go wrong" by definition.

Andrew Johnson

Open Source:

• Github

Other Platforms

• Medium

Published Books:

• Hands on Functional Programming in Rust
• LSTS Tutorial

Books that I am reading:

• E's
• Combinatorial Optimization
• Categories for the Working Mathematician

Top Referrers:

1. Google Search
2. DuckDuckGo Search
3. Sogou Search
4. Bing Search
5. Baidu Search

Tools:

• Perplexity 😵 Modelling Language
• A Categorical view of Typed Lambda Calculus with flexible Soundness Guarantees
• JLPT Flash Cards

Weblog:

• Rust Procedural Macro Spans Quirks Mode and Hygiene
• Tokenizing and Stemming Natural Language in Rust
• Text to Speech Software in Rust
• Generating an Atom Feed for a site written in RDXL
• Navigating the Rust RFC Process and Agile Development
• Interfacing C Variadic Functions in Rust
• Rust Zeroize to Protect Hot Secrets
• A Short List of Rust Libraries that I Recommend
• Complex Pattern Guards in Rust
• Generating Lots of Misspelled Words for NLP Testing
• Dependency Grammar vs Constituency Grammars
• Using rust-bert to Summarize Blog Posts
• Rust, typed: traits and trait objects
• Rust, shared: by copy
• Rust, abstracted: lambda dropping
• Writing a book using RDXL
• Parallel Asset Loading for Game Load Screens in Rust