Functional and Declarative Are Not Synonyms, and Haskell Proves It

·2 views

A developer essay argues that the industry wrongly treats 'functional' and 'declarative' as interchangeable terms, when they are actually independent dimensions of code. The author draws on a 1993 academic paper, 'Imperative Functional Programming,' co-written by Haskell creators Simon Peyton Jones and Philip Wadler, which acknowledged that monadic Haskell code closely resembles imperative programs. A follow-up 1994 paper by Haskell co-creator John Launchbury, 'Lazy Imperative Programming,' went further, explicitly stating that imperative features were introduced into Glasgow Haskell for input and output. The essay contends that pure functions can still produce imperative code structure, and that recognising this does not strip away the benefits of functional programming. The author frames clearer terminology around these concepts as increasingly urgent given the role AI now plays in amplifying existing code patterns.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Formo and Dynamic Partner to Unify Onchain and Offchain Analytics for DeFi Apps

Crypto and DeFi app developers have long struggled to connect offchain user data, such as email signups and social logins, with onchain activity like swaps and staking. Formo integrates with Dynamic's embedded wallet infrastructure to provide a unified analytics platform that links user identities to wallet addresses across the full product journey. Dynamic, recently acquired by Fireblocks, supports over 600 wallets and has onboarded more than 50 million users, with clients including Kraken, Stripe, and Magic Eden. The combined stack enables teams to build retention cohorts, measure acquisition ROI, and trigger real-time alerts based on onchain events. The integration aims to replace fragmented, incomplete tooling with a single source of truth for both product and blockchain analytics.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Dev team discovers their AI publish block was an unautomated database query, not a safety rule

A development team spent two weeks assuming their autonomous AI agent lacked the capability to publish articles, only to discover the blocker was a self-imposed human-approval rule they had written themselves. The rule had been introduced after the agent nearly double-posted an article, and it triggered a second time within 24 hours when a browser auto-restore silently pre-filled a form with an already-published piece. Upon closer analysis, the team realized neither incident required human judgment — both were simply checks of whether a given article title already existed in the account. Rather than choosing between full human oversight and unchecked automation, the team reframed the problem: the approval gate was not guarding against ethical or strategic risk, but against a specific, automatable failure mode. They concluded that replacing the human gate with a straightforward API lookup — querying existing published titles before allowing a new post — would address the actual risk without permanently limiting the agent's autonomy.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Why AI Agent Logs Are Not Reliable Evidence Without Cryptographic Verification

Agent audit logs only record what a process claims happened and cannot on their own prove that events are complete, correctly ordered, or unaltered. A timestamped JSON file is vulnerable if workers can overwrite it, multiple processes share sequence numbers, or a restart silently drops events. Engineers are advised to attach a verification contract to each log event, incorporating monotonic sequence numbers, hash links to prior events, and cryptographic signatures generated outside the agent process. A separate verifier service should independently check sequence integrity, event transitions, and signatures rather than letting the agent validate its own history. Signed checkpoints at regular intervals offer efficient integrity boundaries without requiring full re-verification of every event on each query.

0 comments Read more at DEV Community

ProgrammingDEV Community ·

Arc Engine: Open-Source 2D Game Engine Built Entirely in C

A developer has released Arc Engine, a 2D game engine written entirely in C, currently in alpha version 0.0.2.8.5. The engine is built on top of Raylib and aims to simplify game development by adding features not native to C, such as built-in string handling. It also includes a runtime agent that detects and corrects common coding mistakes, though the developer clarifies this is not AI. Arc Engine claims to outperform C++ in some benchmarks and is designed for developers of all skill levels. Users with basic C knowledge of pointers, variables, and functions can get started, with the project available on GitHub.

0 comments Read more at DEV Community