Functional Programming Certification

The Functional Programming Certification is a free advanced-level, 25-minute skill test from Science of Apps. It tests functional programming with OCaml and Haskell — pure functions and referential transparency, immutability, first-class and higher-order functions, map, filter and fold, recursion and tail calls, currying and partial application, algebraic data types and pattern matching, option and result types, Hindley–Milner type inference, parametric polymorphism, type classes and modules, functors, applicatives and monads, laziness and strictness in Haskell, effects and IO, OCaml's modules and functors, persistent data structures, property-based testing, and concurrency — written to Real World OCaml, the Haskell documentation and Learn You a Haskell for 2026 and 2027. Score 70% or more on its 25 questions to earn a verifiable Functional Programming certificate (SOA-FUNC). Every question is based on published standards and research — including Real World OCaml (Yaron Minsky and Anil Madhavapeddy), Haskell documentation and the Haskell 2010 Report (haskell.org), Learn You a Haskell for Great Good! (Miran Lipovača) — and each answer is explained with its source.

Science of Apps offers a free Functional Programming Certification, written for 2026 and 2027. It tests core concepts, types, abstractions, evaluation and effects and practice with 25 original scenario questions in all, each naming its published source; you get an instant score and a verifiable certificate with a credential ID you can add to LinkedIn.

Read the five skill areas on this page, then take the 25-minute test online — no fee, course or sign-up. You see every answer explained when you finish. Score 70% or more and you get a Functional Programming certificate straight away, on screen, as a PDF and by email, with a credential ID anyone can verify.

Yes. The questions are original scenarios written by Science of Apps, and each one is based on a public source you can read: Real World OCaml (Yaron Minsky and Anil Madhavapeddy); Haskell documentation and the Haskell 2010 Report (haskell.org); Learn You a Haskell for Great Good! (Miran Lipovača). The source is shown under each question and linked in the answer review. Science of Apps doesn't copy questions from other tests.

Five skill areas with five questions each, drawn from a bank of 10 per area so a retake brings new questions: Core Concepts (Purity and immutability, Higher-order functions and Recursion); Types (Algebraic data types, Pattern matching and Type inference and polymorphism); Abstractions (Type classes and modules, Functors and applicatives and Monads); Evaluation and Effects (Laziness, IO and effects and Data structures); Practice (Testing and reasoning, Tooling and ecosystems and Applications). Every question is an original scenario written to the 2026–2027 standard, with the published source named under it.

Software engineer learning functional programming, Backend or compiler engineer, Quant or fintech developer using OCaml or Haskell, Computer science student and Researcher in programming languages. It suits students at leading universities, career switchers and experienced professionals who want quick, verifiable proof of Functional Programming knowledge in 2026 and 2027.

CS and AI students at MIT, Stanford, CMU, Berkeley, IITs, Tsinghua and ETH are hired on depth beyond tool use: model internals, systems and hardware. Passing earns a founder-signed Science of Apps certificate with a credential ID and QR code that recruiters can verify.

An expression is referentially transparent if it can be replaced by its value without changing a program's behaviour. Pure functions — same inputs, same outputs, no side effects — make this possible.

A type with return (pure) and bind (>>=) operations obeying monad laws, used to sequence computations with context such as failure (Maybe), state or IO while keeping code pure.

Yes. The test is online, in English and free everywhere — people take it from India, the US, the UK, Europe, Africa, Latin America and Asia-Pacific. Your certificate is dated with your own local date and can be verified from anywhere at scienceofapps.com/certification/verify/.

25 questions — 5 from each of 5 skill areas — with a 25-minute limit. You need 70% (18 of 25) to pass and 90% for distinction.

We rate it Advanced: assumes years in the role or deep specialist knowledge. It has 25 scenario questions — 5 from each of 5 skill areas — and a 25-minute limit. You need 70% (18 of 25) to pass and 90% for distinction.

Nothing. There is no fee to take a test, to receive the certificate, to have it emailed or to verify it, and no sign-up.

On our server, not in your browser. The answers never reach the page until you submit, so a certificate can only be earned by passing. Each certificate gets a unique credential ID stored by Science of Apps.

You see your score for each area and every question with the correct answer and why, with the published source behind it. You can retake after 30 minutes, and the retake draws questions you haven't seen yet.

No. Every certificate is dated, so it always shows when you passed. Retake a test any time for a newer date or a higher score.

Yes. After you pass, Add to LinkedIn opens the Licenses & certifications form with the certificate name, Science of Apps as the issuer, the issue date, your credential ID and the verification link filled in. You can also download it as a PDF or PNG, and it's emailed to you as a PDF.

Every certificate has a credential ID and a QR code. Scanning it, or entering the ID at scienceofapps.com/certification/verify/, shows the holder's name, the certification, the score and the issue date from our records.

No. They are Science of Apps' own assessments of applied skill. They aren't issued by a university or standards body, and they work best alongside a portfolio that shows the skills in real work.