CakeML / CakeML/cakeml

Array-Like mechanism in Pancake

Open
#941 0 comments 0 reactions 0 assignees View on GitHub
Pancake
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

Currently there is no array representation in Pancake. This can be easily worked around using pointer arithmetic, however, without currently having access to multiplication and division this can be cumbersome. Having a native array representation would be a QoL improvement.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue proposes a native array representation in Pancake but names no files, tests, or entry points. Start by locating Pancake's representation and semantics code, then determine the required design and tests; done would mean arrays are supported without relying on pointer arithmetic.

Written by the indexing model from the issue text.

Assessment

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.