Loading...

CodeCrafters

Catalog Pricing

Master OCaml.

OCaml

OCaml mastery exercises. Become your team's resident OCaml expert.

139 exercises

OCaml

OCaml Challenges

Put your OCaml skills to the test. Practice by building popular open-source tools from scratch.

Build your own Interpreter

Build your own Interpreter

This challenge follows the book Crafting Interpreters by Robert Nystrom.

In this challenge you'll build an interpreter for Lox, a simple scripting language. Along the way, you'll learn about tokenization, ASTs, tree-walk interpreters and more.

Before starting this challenge, make sure you've read the "Welcome" part of the book that contains these chapters:

Introduction (chapter 1)
A Map of the Territory (chapter 2)
The Lox Language (chapter 3)

These chapters don't involve writing code, so they won't be covered in this challenge. This challenge will start from chapter 4, Scanning.

Scanning: Empty file

Scanning: Parentheses

Scanning: Braces

Scanning: Other single-character tokens

Scanning: Lexical errors

Scanning: Assignment & equality Operators

Scanning: Negation & inequality operators

Scanning: Relational operators

Scanning: Division operator & comments

Scanning: Whitespace

Scanning: Multi-line errors

Scanning: String literals

Scanning: Number literals

Scanning: Identifiers

Scanning: Reserved words

Parsing Expressions

Number literals

String literals

Unary Operators

Arithmetic operators (1/2)

Arithmetic operators (2/2)

Comparison operators

Equality operators

Syntactic errors

Evaluating Expressions

Literals: Booleans & Nil

Literals: Strings & Numbers

Unary Operators: Negation & Not

Arithmetic Operators (1/2)

Arithmetic Operators (2/2)

String Concatenation

Relational Operators

Equality Operators

Runtime Errors: Unary Operators

Runtime Errors: Binary Operators (1/2)

Runtime Errors: Binary Operators (2/2)

Runtime Errors: Relational Operators

Statements & State

Print: Generate output

Print: Multiple statements

Expression statements

Variables: Declare variables

Variables: Runtime Errors

Variables: Initialize variables

Variables: Redeclare variables

Assignment operation

Control Flow

Else statements

Else-if statements

Nested if statements

Logical OR operator

Logical AND operator

While statements

Syntactic errors

Functions

Native functions

Functions without arguments

Functions with arguments

Return statements

Higher order functions

Resolving & Binding

Identifier Resolution

Self Initialization

Variable Redeclaration

Classes

Class Declarations

Class Instances

Getters & Setters

Instance Methods

The 'this' keyword

Invalid usages of 'this'

Constructor calls

Return within constructors

Inheritance

Class Hierarchy

Inheriting Methods

Overriding Methods

Inheritance errrors

The super keyword

Invalid Usages of the super Keyword

Build your own Redis

Build your own Redis

Discover concurrent programming in OCaml while also learning about TCP servers, network programming, and the Redis Protocol.

Respond to PING

Respond to multiple PINGs

Handle concurrent clients

Implement the ECHO command

Implement the SET & GET commands

RDB Persistence

RDB file config

Read a string value

Read multiple keys

Read multiple string values

Read value with expiry

Replication

Configure listening port

The INFO command

The INFO command on a replica

Initial Replication ID and Offset

Send handshake (1/3)

Send handshake (2/3)

Send handshake (3/3)

Receive handshake (1/2)

Receive handshake (2/2)

Empty RDB Transfer

Single-replica propagation

Multi Replica Command Propagation

Command Processing

ACKs with no commands

ACKs with commands

WAIT with no replicas

WAIT with no commands

WAIT with multiple commands

Streams

The TYPE command

Create a stream

Validating entry IDs

Partially auto-generated IDs

Fully auto-generated IDs

Query entries from stream

Query single stream using XREAD

Query multiple streams using XREAD

Blocking reads without timeout

Blocking reads using $

Transactions

The INCR command (1/3)

The INCR command (2/3)

The INCR command (3/3)

The MULTI command

The EXEC command

Empty transaction

Queueing commands

Executing a transaction

The DISCARD command

Failures within transactions

Multiple transactions

Many more to come...

coming soon

We release new challenges based on user votes. Let us know what you'd like to see next!

challenge voting

Vote on upcoming challenges

RECENT ACTIVITY 0

“ There are few sites I like as much that have a step by step guide. The real-time feedback is so good, it's creepy!

Ananthalakshmi Sankar Automation Engineer at Apple “ I think the instant feedback right there in the git push is really cool. Didn't even know that was possible!

Patrick Burris Senior Software Developer, CenturyLink