fram-lang/dbl

Type-level infix operators

Open

#153 opened on Nov 8, 2024

View on GitHub
 (0 comments) (0 reactions) (1 assignee)OCaml (28 forks)auto 404
0. parsinggood first issue

Repository metrics

Stars
 (46 stars)
PR merge metrics
 (PR metrics pending)

Description

We could implement infix operators on the level of types/modules. In order to avoid some syntactic ambiguities, the type-level operator as an identifier without arguments should be placed in square brackets. For instance, the product type could be defined as:

data [*] X Y = (,) of X, Y

Contributor guide

Research direction
Investigate the parser and type system to understand how to introduce infix operators at the type level. Look at existing implementation of value level infix operators for reference.
Tech stack
None
Domain
compilers
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
Half day
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Active
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Clear
Prerequisites
OCaml
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
60