Skip to content
CCPEDIAby Unity Nodes
Discussions/App Development/Is Daml Turing Complete?Forum ↗

Is Daml Turing Complete?

App Development2 posts496 views1 likesLast activity Dec 2021
AE
AelpherisOP
Dec 2021

Following a blog post from 2016 where it states “DAML was intentionally designed not to be Turing-complete”: Introducing the Digital Asset Modeling Language: A Powerful Alternative to Smart Contracts for Financial Institutions

I was under the impression that Daml is still non-Turing complete. However I recently came across a forum post: Functions in data structure - #12 by bernhard
mentioning Daml as being Turing Complete. I’m assuming this changed when recursion was introduced? Is there any resources I can read more about Turing Completeness in Daml?

GA
Gary_Verhaegen
Dec 2021

Hi @Aelpheris,

That was true then, but that blog post is very old. Current versions of Daml are indeed Turing complete in the usual sense of “if you had infinite memory”. This blog post may shed some lights on possible reasons for the transition, though it’s not specifically about Daml.

← Back to Discussions