# Programming language A programming language is used to express instructions that tell software what to do. This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky DevFeed: [Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-31T13:05:35Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Scala](), [Programming language](), [Functional programming](), [Artificial Intelligence](), [Large Language Model]() Tags: [ai](), [functional-programming](), [languages](), [llms](), [scala]() ### AI overview An interview with Martin Odersky, creator of Scala, compares Rust, Zig, Python, and Scala and discusses how AI may affect programming-language ecosystems. Odersky also explains functional programming as a style based on values and functions, with minimal mutable state and side effects. ### Source excerpt There are so many choices every programming language creator makes while navigating engineering tradeoffs in building one. ## How an MIT research project became a global programming language DevFeed: [How an MIT research project became a global programming language]() Original publisher: [Read original article]() Author: Zach Winn | MIT News Published: 2026-08-31T04:00:00Z Content type: news Language: en Sources: [MIT AI News]() Topics: [The Julia Language](), [Programming language](), [Data Science](), [Complex Systems](), [Data analysis](), [Open Source]() Tags: [ai](), [ai-platform](), [alan-edelman](), [analysis](), [applications](), [artificial-intelligence](), [chris-rackauckas](), [complex-systems](), [computer-science-and-artificial-intelligence-laboratory-csail](), [deshpande-center](), [jeff-bezanson](), [julia-programming-language](), [juliahub](), [language](), [mit-schwarzman-college-of-computing](), [open-source](), [programming](), [programming-language](), [software](), [startups](), [stefan-karpinski](), [viral-shah]() ### AI overview An MIT research project created Julia, a free and open-source programming language for scientific research, data analysis, and complex-systems modeling. The article describes Julia's adoption by researchers, engineers, companies, and universities, and introduces JuliaHub's Dyad 3.0 AI platform. ### Source excerpt With millions of users across the world, Julia has been used to conduct cutting-edge research and to design new drugs, jet engines, heat pumps, and more. ## Your First Virtual Machine: Write yourself a compiler, Part IV DevFeed: [Your First Virtual Machine: Write yourself a compiler, Part IV]() Original publisher: [Read original article]() Published: 2026-08-24T22:00:00Z Content type: tutorial Language: en Sources: [Tomasz Nurkiewicz around Java and concurrency]() Topics: [Code](), [Programming](), [Programming language](), [Compiler]() Tags: [arithmetic](), [bytecode](), [clojure](), [code](), [compiler](), [cpu](), [feature](), [go](), [interpreter](), [reverse-polish-notation](), [stack](), [virtual-machine](), [vm](), [writing-compiler]() ### AI overview This tutorial explains how to build a virtual machine that reads and executes a binary intermediate representation. It covers the instruction loop, operand stack, arithmetic operations, postfix notation, and how the resulting executable compares with JVM files and .NET assemblies. ### Source excerpt In the previous article, we emitted an intermediate representation (IR) for our programming language that is easier to process than source code. However, we did not build a program that could read and execute that IR. Such a program is called a virtual machine. Technically, it's still an interpreter. But instead of interpreting source code, it interprets IR. Our IR is binary, compact, structured, and generally faster to interpret than the original source. Moreover, as you'll see later, the VM's instruction set can express programs that our source language cannot produce yet! ## Dependent Types and the Challenge of Automating Proofs DevFeed: [Dependent Types and the Challenge of Automating Proofs]() Original publisher: [Read original article]() Author: Adam Langley Published: 2026-07-26T00:00:00Z Content type: opinion Language: en Sources: [ImperialViolet]() Topics: [Programming language](), [Lean](), [Programming](), [Coq]() Tags: [interactive](), [language](), [machine](), [programming](), [programming-language]() ### AI overview The article discusses dependently typed languages such as Coq, Rocq, and Lean, which can encode subtle invariants in a type system. It explains that writing and checking proofs can require substantial effort, contributing to the niche status of these languages and motivating attempts to automate proof obligations. ### Source excerpt I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants. The sort of thing that, in regular languages, ends up (at best) as a comment, and which quickly gets lost as the size of the team grows. Then you get subtle misunderstandings and components that don't quite fit together. It's often the case that those components have grown to a sufficient size that, when the problem is noticed, aligning either of them is a wearying prospect. Perhaps, say dependent types seductively, you could write those invariants formally and have a machine check them. (p.s. Coq changed its name! I remember many years ago at a Coq conference in Princeton, I tried suggesting that, in an English-speaking world, having a programming language called Coq was an impediment. I don't think the audience agreed at the time. I also joked that many of the talks there sounded like a speech by Tyrion Lannister, there being so many Coqs and Hoares. A joke that was hilarious and timely, even though it fell completely flat, coming as it did before the final season of that show and our collective memory-holing of it.) The problem has always been that with great type-system power comes great proof effort. I can certainly attest to entire days spent proving really quite simple things. Doing proofs is actually quite fun: it's challenging, interactive, and there's a clear goal. But gosh, does it take a lot of time, especially if, like me, you don't know what you're doing. There's also the periodic, galling experience, at the end of many hours of effort, where you realise that the goal that you're trying to prove is, in fact, false. The classic result here is the retrospective from the seL4 effort that found that, even though the project was large enough for the engineers to develop considerable experience, they spent about 10 times as much time proving as they did designing and imp ## Arithmetic interpreter: Write yourself a compiler, Part II DevFeed: [Arithmetic interpreter: Write yourself a compiler, Part II]() Original publisher: [Read original article]() Published: 2026-07-21T22:00:00Z Content type: tutorial Language: en Sources: [Tomasz Nurkiewicz around Java and concurrency]() Topics: [Compiler](), [Programming language](), [Programming](), [Regular expression]() Tags: [arithmetic](), [compiler](), [go](), [intermediate](), [interpreter](), [operations](), [programming-language](), [writing-compiler]() ### AI overview This tutorial extends a simple arithmetic interpreter to support addition, subtraction, multiplication, and division. It updates the regular-expression parsing and interpreter logic, with a later installment planned to compile the language into an intermediate representation. ### Source excerpt In the previous article, we created the most naive interpreter, which can basically execute number + number expressions. A logical extension is obviously to handle all basic operations: addition, subtraction, multiplication and division. The time has come! ## Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy DevFeed: [Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-20T13:05:11Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [OCaml](), [Functional programming](), [Programming](), [Formal verification](), [Programming language]() Tags: [formal-verification](), [functional](), [functional-programming](), [ocaml](), [programming](), [programming-language](), [verification]() ### AI overview A podcast transcript featuring Xavier Leroy discusses what distinguishes OCaml, including its functional and systems programming capabilities, type inference, control structures, predictable execution costs, and low-latency garbage collection. The conversation also covers formal verification through the CompCert project and comparisons with languages such as Rust and JavaScript. ### Source excerpt Professor Leroy (Creator of OCaml) is incredibly knowledgeable. ## Profunctor Optics DevFeed: [Profunctor Optics]() Original publisher: [Read original article]() Author: Bartosz Milewski Published: 2026-07-19T11:39:02Z Content type: article Language: en Sources: [Bartosz Milewski's Programming Cafe]() Topics: [Haskell](), [Programming language](), [Programming](), [modules]() Tags: [category-theory](), [haskell](), [language](), [lens](), [mapping](), [modules](), [optics](), [profunctors](), [programming-language](), [tambara-modules]() ### AI overview This article explains profunctor optics through Tannakian reconstruction. It presents optics as a category, describes lenses and their composition in Haskell, and introduces Tambara modules as a representation that simplifies optic composition. ### Source excerpt You may think of Tannakian Reconstruction as an example of redundant encoding. It lets you replace a simple hom-set with a much more complex end that is taken over an entire functor category. Why would anyone want to do it? The answer is simple: composition! Morphisms on the left compose according to the rules of [...] ## Announcing Rust 1.97.1 DevFeed: [Announcing Rust 1.97.1]() Original publisher: [Read original article]() Author: The Rust Release Team Published: 2026-07-16T00:00:00Z Content type: release Language: en Sources: [Rust Blog]() Topics: [Rust](), [releases](), [LLVM](), [Optimization](), [Programming language](), [Beta channel](), [ci]() Tags: [beta-channel](), [bugs](), [ci](), [llvm](), [optimization](), [programming-language](), [release](), [releases](), [rust](), [update]() ### AI overview Rust 1.97.1 is a point release that fixes a miscompilation related to an LLVM optimization. The release backports an LLVM fix and disables the underlying change in Rust 1.97.0 that increased the likelihood of the issue. ### Source excerpt The Rust team has published a new point release of Rust, 1.97.1. Rust is a programming language that is empowering everyone to build reliable and efficient software. If you have a previous version of Rust installed via rustup, getting Rust 1.97.1 is as easy as: rustup update stable If you don't have it already, you can get rustup from the appropriate page on our website. What's in 1.97.1 Rust 1.97.1 fixes a miscompilation in an LLVM optimization. We have backported both an LLVM fix and a disable of the underlying change in Rust 1.97.0 of Rust's generated IR that increased the likelihood of this happening. However, note that the underlying miscompilation has been present since at least Rust 1.87. If you'd like to help us out by testing future releases, you might consider running your code's CI or locally using the beta channel (rustup default beta) or the nightly channel (rustup default nightly). Please report any bugs you might come across! Contributors to 1.97.1 Many people came together to create Rust 1.97.1. We couldn't have done it without all of you. Thanks! ## 10 Years of Meta's Commitment to Python DevFeed: [10 Years of Meta's Commitment to Python]() Original publisher: [Read original article]() Author: Chris Wiltz Published: 2026-06-30T16:00:46Z Content type: opinion Language: en Sources: [Meta AI Research](), [Meta ML Applications]() Topics: [Meta](), [Python](), [Open Source](), [Programming language](), [Software](), [PyTorch]() Tags: [ai-research](), [culture](), [data-infrastructure](), [devinfra](), [engineering](), [meta](), [ml-applications](), [open-source](), [production-engineering](), [programming](), [python](), [pytorch](), [software]() ### AI overview Meta reflects on its 10th consecutive year sponsoring the Python Software Foundation and explains Python's importance across its engineering stack, including products, infrastructure, and AI research. ### Source excerpt This year marks Meta's 10th consecutive year as a sponsor of the Python Software Foundation (PSF), the charitable organization dedicated to advancing, supporting, and protecting the open-source Python programming language and the community that sustains it. Python is one of the world's most influential programming languages, and we use it across our engineering stack, from [...] Read More... The post 10 Years of Meta's Commitment to Python appeared first on Engineering at Meta. ## On programming languages, targets, and platforms DevFeed: [On programming languages, targets, and platforms]() Original publisher: [Read original article]() Author: Nicolas Fränkel Published: 2026-06-21T00:00:00Z Content type: opinion Language: en Sources: [Nicolas Fränkel]() Topics: [Programming](), [Programming language](), [multiplatform](), [Scala](), [Java](), [JavaScript]() Tags: [developer](), [development](), [java](), [javascript](), [kotlin](), [languages](), [multiplatform](), [programming](), [programming-languages](), [python](), [rust](), [scala]() ### AI overview A personal discussion of how programming languages have evolved from targeting a single compilation target and platform toward supporting multiple targets. It uses Scala.js as an example and mentions Kotlin and Clojure as other JVM-originated languages targeting JavaScript. ### Source excerpt I started as a Java developer, but for some time now, I have broadened my horizons. Recently, I thought about how early languages were dedicated to a single target and platform, and now they are broadening their focus. In this post, I want to write down my thoughts in the hope that it may be useful to others, probably to my future self. Definitions You may have been wondering about the title terms. ## Using OxCaml to implement type-safe reference counting between OCaml and Python DevFeed: [Using OxCaml to implement type-safe reference counting between OCaml and Python]() Original publisher: [Read original article]() Author: Nicolas Trangez Published: 2026-06-15T00:00:00Z Content type: tutorial Language: en Sources: [Jane Street]() Topics: [OCaml](), [Python](), [Programming language](), [Programming](), [Data analysis](), [Machine learning]() Tags: [compiler](), [gc](), [memory](), [memory-management](), [ocaml](), [parallelism](), [programming-language](), [python]() ### AI overview Jane Street describes using OxCaml extensions to implement type-safe reference counting between OCaml and Python. The approach addresses delayed deallocation when objects cross the language boundary, including for large data frames and scarce resources such as GPU memory. ### Source excerpt Jane Street is known for being an OCaml shop, but for years now Python has been our second major programming language, acting as the primary tool for data analysis and (especially importantly these days) machine learning. Most of our traders and researchers think and write in Python, even as the majority of our infrastructure is written in OCaml. ## Simon Peyton Jones on Haskell and Why Functional Programming Matters DevFeed: [Simon Peyton Jones on Haskell and Why Functional Programming Matters]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-08T10:02:31Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Functional programming](), [Haskell](), [Programming](), [Declarative programming](), [Programming language]() Tags: [declarative](), [functional-programming](), [languages](), [programming](), [programming-language](), [types]() ### AI overview An interview with Simon Peyton Jones, co-creator of Haskell, about functional programming, its emphasis on values rather than mutation, and how it differs from imperative programming. ### Source excerpt Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. ## Genie Lessons from Genie Sessions: Prose as a Programming Language DevFeed: [Genie Lessons from Genie Sessions: Prose as a Programming Language]() Original publisher: [Read original article]() Author: Kent Beck Published: 2026-05-26T12:47:53Z Content type: opinion Language: en Sources: [Software Design: Tidy First?]() Topics: [Programming language](), [Programming](), [Code](), [AI Agent](), [Claude Code](), [Framework](), [Filesystems]() Tags: [ai-agent](), [claude-code](), [code](), [files](), [framework](), [language](), [programming](), [programming-language]() ### AI overview Kent Beck discusses OpenProse with one of its founders and examines how structured English can be used to define programs executed by an AI agent such as Claude Code. The article describes component requirements and guarantees, service-like composition, and file-based pointers for passing large outputs between sub-agents. ### Source excerpt Kent sits down with one of the founders of OpenProse to talk through their method of prose as a programming language. ## Monotonic Indentation DevFeed: [Monotonic Indentation]() Original publisher: [Read original article]() Author: Yegor Bugayenko (yegor256@gmail.com) Published: 2026-05-23T21:00:00Z Content type: opinion Language: en Sources: [Yegor Bugayenko]() Topics: [Code](), [formatting](), [Programming](), [Programming language](), [Python]() Tags: [code](), [code-formatting-style](), [code-indentation-rule](), [formatting](), [indentation-in-java](), [monotonic-indentation](), [off-side-rule](), [programming](), [programming-language](), [python](), [style]() ### AI overview The article proposes monotonic indentation as a source-code formatting rule: indentation may increase by exactly one unit between adjacent lines but may decrease by any number of units. It presents the rule as an optional check for existing style checkers or as a standalone tool, and compares it with Python's off-side rule. ### Source excerpt Between two adjacent lines, indentation may grow by one unit only, but may shrink by any number of units -- a rule that resolves most code formatting disputes. ## Bjarne Stroustrup on Bell Labs and the Origins of C++ DevFeed: [Bjarne Stroustrup on Bell Labs and the Origins of C++]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-05-18T10:02:48Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [C++](), [Programming language](), [systems](), [Unix](), [networking]() Tags: [c-plus-plus](), [language](), [networking](), [programming](), [systems]() ### AI overview A podcast interview with Bjarne Stroustrup covers his work at Bell Labs and the origins of C++. He explains that C++ combined C's low-level hardware access with Simula's class concept and higher-level programming features for systems programming. ### Source excerpt Transcript & Audio ## Why do developers count from zero? DevFeed: [Why do developers count from zero?]() Original publisher: [Read original article]() Published: 2026-04-27T00:00:00Z Content type: tutorial Language: en Sources: [Kt. Academy]() Topics: [Programming](), [C](), [Programming language](), [The Julia Language](), [Lua](), [MATLAB]() Tags: [c](), [developers](), [history](), [lua](), [matlab](), [programming](), [programming-language](), [workshop-learning-programming]() ### AI overview This video explains why zero-based indexing became common. It discusses efficient use of numeric values and the simpler memory-address formula for arrays, while noting that MATLAB, Lua, and Julia use one-based indexing. ### Source excerpt Why do developers count from zero? Short history and reasoning behind this convention. ## Range-Over Functions in Go DevFeed: [Range-Over Functions in Go]() Original publisher: [Read original article]() Published: 2026-02-16T00:00:00Z Content type: article Language: en Sources: [William Kennedy]() Topics: [Go Language](), [Programming language](), [Programming](), [Data structures]() Tags: [ardan-labs](), [blog](), [code](), [examples](), [generators](), [go](), [go-programming](), [golang](), [programming](), [programming-language](), [syntax]() ### AI overview This article explains Go's range-over-functions experiment, which proposes a standardized iterator model while preserving the familiar for range syntax. It introduces the iter package and sequence abstractions, compares iteration patterns, and uses stack examples to show how iterator logic can be implemented. ### Source excerpt Iteration has long been one of the more fragmented areas of Go, with developers relying on ad hoc patterns to traverse custom data structures. This article explores the range-over-functions experiment, a proposed evolution of the language that introduces a standardized iterator model while preserving Go's familiar for range syntax. Using the new iter package and sequence abstractions, it shows how iteration logic can be expressed more clearly, flexibly, and idiomatically. Originally published in April 2024, the concepts remain highly relevant as Go continues to evolve toward more expressive yet simple language features. ## Installing Newer Versions of Java on Debian Systems DevFeed: [Installing Newer Versions of Java on Debian Systems]() Original publisher: [Read original article]() Author: Emmet Published: 2026-01-21T08:35:43Z Content type: tutorial Language: en Sources: [Pi My Life Up]() Topics: [Debian](), [Adoptium](), [Linux](), [Programming language](), [Programming]() Tags: [debian](), [guide](), [how-to](), [java](), [linux](), [linux-guides](), [programming](), [tutorial]() ### AI overview A quick tutorial for installing newer Java versions on Debian-based systems by adding the Eclipse Temurin repository from Adoptium. It covers system updates, installing wget, and retrieving the repository's GPG key, with support for Java 8 through Java 25 and AMD64 and ARM64 systems. ### Source excerpt In this quick tutorial, you will be learning how to easily install the latest versions of Java on to almost any Debian system. Useful when the version of Java you need isn't avaialble. The post Installing Newer Versions of Java on Debian Systems appeared first on Pi My Life Up. ## A Practical guide to building a parser in Go DevFeed: [A Practical guide to building a parser in Go]() Original publisher: [Read original article]() Author: Tom Published: 2026-01-04T00:00:00Z Content type: tutorial Language: en Sources: [Tomasz Gągor]() Topics: [Go Language](), [Parser](), [Programming](), [Programming language]() Tags: [bnf](), [compilers](), [dsl](), [go](), [guide](), [left-recursion](), [lexer](), [packrat-memoization](), [parsing](), [programming](), [recursive-descent-parser]() ### AI overview A developer describes building a recursive descent parser in Go to validate strings against a BNF-like grammar. The project began as an attempt to implement a simple BNF syntax analyzer and led to exploring parser and compiler concepts, including left recursion and Packrat memoization. ### Source excerpt A developer's journey of building a recursive descent parser in Go, from basic concepts to tackling left recursion with Packrat memoization. ## Python 3.13.8 is now available DevFeed: [Python 3.13.8 is now available]() Original publisher: [Read original article]() Author: Thomas Wouters Published: 2025-10-07T00:00:00Z Content type: release Language: en Sources: [Python Insider]() Topics: [Python 3.13](), [Programming language](), [releases](), [Development]() Tags: [bugs](), [build](), [community](), [documentation](), [improvements](), [maintenance](), [python](), [python-3-13](), [release](), [release-schedule](), [releases]() ### AI overview Python 3.13.8 is the eighth maintenance release of Python 3.13, with around 200 bug fixes, build improvements, and documentation changes since Python 3.13.7. ### Source excerpt The latest version of Python 3.13 is now available! Python 3.13.8 https://www.python.org/downloads/release/python-3138/ This is the eighth maintenance rele... ## What Strong Typing Means in Programming Languages DevFeed: [What Strong Typing Means in Programming Languages]() Original publisher: [Read original article]() Published: 2025-08-28T01:33:05Z Content type: opinion Language: en Sources: [Tony Finch's blog]() Topics: [Programming language](), [Programming](), [integrity](), [Polymorphism](), [Java](), [TypeScript](), [Lean]() Tags: [integrity](), [java](), [languages](), [polymorphism](), [programming-language](), [rust](), [type-system](), [typescript]() ### AI overview The article explains why "strongly typed" is a poorly defined term and examines several possible meanings, including static versus dynamic typing, soundness of static type systems, and runtime type safety. It argues that these properties are not simply yes-or-no and discusses trade-offs and examples from languages including Java, TypeScript, Rust, Lean, JavaScript, Lua, and C. ### Source excerpt What does it mean when someone writes that a programming language is "strongly typed"? I've known for many years that "strongly typed" is a poorly-defined term. Recently I was prompted on Lobsters to explain why it's hard to understand what someone means when they use the phrase. I came up with more than five meanings! how strong? The various meanings of "strongly typed" are not clearly yes-or-no. Some developers like to argue that these kinds of integrity checks must be completely perfect or else they are entirely worthless. Charitably (it took me a while to think of a polite way to phrase this), that betrays a lack of engineering maturity. Software engineers, like any engineers, have to create working systems from imperfect materials. To do so, we must understand what guarantees we can rely on, where our mistakes can be caught early, where we need to establish processes to catch mistakes, how we can control the consequences of our mistakes, and how to remediate when somethng breaks because of a mistake that wasn't caught. strong how? So, what are the ways that a programming language can be strongly or weakly typed? In what ways are real programming languages "mid"? Statically typed as opposed to dynamically typed? Many languages have a mixture of the two, such as run time polymorphism in OO languages (e.g. Java), or gradual type systems for dynamic languages (e.g. TypeScript). Sound static type system? It's common for static type systems to be deliberately unsound, such as covariant subtyping in arrays or functions (Java, again). Gradual type systems migh have gaping holes for usability reasons (TypeScript, again). And some type systems might be unsound due to bugs. (There are a few of these in Rust.) Unsoundness isn't a disaster, if a programmer won't cause it without being aware of the risk. For example: in Lean you can write "sorry" as a kind of "to do" annotation that deliberately breaks soundness; and Idris 2 has type-in-type so it accepts Girard's paradox. T ## Cangjie -- a programming language from Huawei DevFeed: [Cangjie -- a programming language from Huawei]() Original publisher: [Read original article]() Author: Jasper Morgan Published: 2025-08-19T07:37:53Z Content type: opinion Language: en Sources: [Snapp Mobile - Medium]() Topics: [Programming language](), [huawei](), [Programming](), [Code](), [Embedded Systems](), [Cross-Compilation](), [Mobile](), [cloud-computing](), [Package Management](), [debug](), [Testing](), [ide]() Tags: [architectures](), [bytecode](), [cangjie](), [china](), [cloud](), [cross-compilation](), [debugging](), [developers](), [development](), [embedded-systems](), [huawei](), [huawei-developers](), [language](), [mobile](), [package-management](), [programming](), [programming-language](), [programming-languages](), [tools]() ### AI overview This article examines Cangjie, an open-sourced programming language from Huawei. It describes Cangjie as a C-like language with features associated with Swift and Kotlin, support for embedded systems, mobile development, and cloud architectures, interoperability with C and Python, JVM bytecode compilation, cross-compilation, and integrated developer tools. The article suggests Huawei created it to gain more control over its language roadmap and consolidate development skills across products. ### Source excerpt Cangjie -- a programming language from Huawei Huawei have been busy. Last month they open-sourced a programming language that is looking pretty interesting. Whilst you might not be writing in Cangjie next week, it's good to see what one of the world's largest technology companies is doing such that they have created a new programming language. TL;DR Cangjie is a C-like programming language that feels more like Swift/Kotlin than Java/C# or JavaScript/Typescript. The idea is for Cangjie to become the common programming language to be used throughout Huawei. Cangjie can be used for embedded systems, mobile development, server-side cloud architectures. It supports a variety of programming paradigms (function, OO, procedural), compilation and integration options. Cangjie can call C libraries (and be called from C), use Python libraries and even compile to JVM bytecode. Cangjie supports language extension to create lightweight DSLs. Primarily Cangjie programs are compiled into machine code -- this include cross compilation which mean they can run natively on different computer architectures. Cangjie comes with a set of in-built tools for developers such as package management, debugging, testing and IDE integration. Cangjie is openly available since this month and is in version 0.53.13. Why create a new language? Simply put, Cangjie gives Huawei a level of control and an economy of scale that they cannot get from other languages. Most mainstream languages are driven predominantly by teams in USA and Europe. It is hard to influence the road map for these languages -- especially for those tightly controlled by corporations (e.g. Java/Kotlin/Swift). Furthermore, consolidating programming skills could be a big efficiency gain for Huawei -- engineers working on products ranging from routers to petabyte storage to cloud computing and mobile devices can coalesce around one language and toolset. Show me some code I won't go into any detail here so this is just to satisfy your curiosit ## Records and the 'with' operator, redux DevFeed: [Records and the 'with' operator, redux]() Original publisher: [Read original article]() Author: jonskeet Published: 2025-07-29T20:00:38Z Content type: opinion Language: en Sources: [Jon Skeet]() Topics: [C#](), [Programming language](), [Code review]() Tags: [blog-post](), [c-sharp](), [code-review](), [election-2029]() ### AI overview A follow-up examination of an unexpected aspect of C# record types and the `with` operator. The article argues that the behavior is correct according to the documentation, but easy to misunderstand because readers may interpret `with` as changing properties on an object rather than creating a new record with different construction parameters. ### Source excerpt In my previous blog post I described some behaviour of C# record types which was unexpected to me, though entirely correct according to the documentation. This is a follow-up post to that one, so if you haven't read that one yet, please do so - I won't go over all the same ground. Is this ... Continue reading Records and the 'with' operator, redux -> ## Heroku AppLink: Extend Salesforce with Any Programming Language DevFeed: [Heroku AppLink: Extend Salesforce with Any Programming Language]() Original publisher: [Read original article]() Author: Vivek Viswanathan Published: 2025-07-17T15:00:37Z Content type: release Language: en Sources: [Heroku]() Topics: [Heroku](), [Programming language](), [Code](), [Node.js](), [Python](), [SDKs]() Tags: [agentforce](), [apis](), [applink](), [engineering](), [heroku](), [heroku-flow](), [integrations](), [node-js](), [programming-language](), [python](), [release](), [salesforce]() ### AI overview Heroku introduces the generally available AppLink integration for Salesforce. AppLink lets developers securely deploy code written in different programming languages to the Salesforce platform and attach Heroku applications to multiple Salesforce orgs. The initial SDK support covers Node.js and Python, with Java examples using AppLink APIs. ### Source excerpt The Salesforce platform offers a powerful array of tools for customization and building customer-centric experiences, from no-code automation with Flow, Prompt Builder, and Agent Builder, to robust Apex and Lightning Web Components. The art lies in choosing the right blend of these tools to achieve agility, optimize skill sets, and quickly adapt to business demands. [...] The post Heroku AppLink: Extend Salesforce with Any Programming Language appeared first on Heroku. [Next page]()