Does Array.index need to be a foreign import?

Open
#241 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
4/5
Estimated time
3-5 days
Newbie friendliness
35/100
Issue type
Refactor
Clarity
Mostly clear
Activity status
Stale
Domain
backend

Research direction

The issue names Array.index, length, and unsafeIndexImpl, and mentions the backend optimizer. Start by reading the implementation of Array.index and how its foreign import is used, then check whether the optimizer change described in the issue has landed. Done means determining whether the bounds check can be implemented in PureScript while preserving the expected behavior and enabling the stated optimization.

Written by the indexing model from the issue text.

Description

The logic of Array.index can be implemented in terms of length and unsafeIndexImpl. Is it necessary for it to be foreign? In backend-optimizer, I'm preparing a change to inline the bounds check so that the Just allocation can be eliminated in some cases. If index bounds checking was implemented in PureScript rather than FFI, this would just work.

Dominant language
PureScript
Stars
58
Forks
70
Avg merge
2d 22h
Merged PRs (30d)
1

Getting set up

  • No Dockerfile or Docker Compose file
  • Has a pull request template
  • No contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from purescript/purescript-arrays

All issues in purescript/purescript-arrays

Similar issues

More Backend & API Design issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.