CakeML / CakeML/pure

Record types

Open
#49 1 comment 0 reactions 0 assignees View on GitHub
enhancement front end
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

Haskell's record syntax can be a useful user-facing feature. We should implement some variant of it - either as a syntactic sugar (as in Haskell), or actual record types (in which case this relates to #46).

Suggested by QuviQ.

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by reading the issue and related issue #46, then compare the proposed Haskell-style syntactic sugar with actual record types. The issue names no implementation files or tests, so first establish which variant is wanted and define acceptance criteria before locating the relevant compiler entry points.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.