# Clojure's core.typed vs Haskell

DevFeed: [Clojure's core.typed vs Haskell](<https://devfeed.tech/articles/clojure-s-core-typed-vs-haskell-32112.md>)

Original publisher: [Read original article](<https://adambard.com/blog/core-typed-vs-haskell/>)

Published: 2013-09-29T00:00:00Z

Content type: comparison

Language: en

Sources: [Adam Bard](<https://devfeed.tech/sources/adam-bard.md>)

Topics: [Clojure](<https://devfeed.tech/topics/clojure.md>), [Haskell](<https://devfeed.tech/topics/haskell.md>), [Library](<https://devfeed.tech/topics/library.md>), [Code](<https://devfeed.tech/topics/code.md>)

Tags: [clojure](<https://devfeed.tech/tags/clojure.md>), [code](<https://devfeed.tech/tags/code.md>), [compare](<https://devfeed.tech/tags/compare.md>), [haskell](<https://devfeed.tech/tags/haskell.md>), [library](<https://devfeed.tech/tags/library.md>)

## AI overview

This article compares solutions to Project Euler problems written in Clojure using core.typed and in Haskell. It discusses type annotations, type inference, development workflow, and the trade-off between annotation effort and later type-checking benefits.

## Source excerpt

Ambrose Bonnaire-Sergeant's core.typed library has been receiving a lot of attention lately. In fact, Ambrose has just raised a well-deserved $20,000 to continue his work on the library.