google-research / google-research/dex-lang

Sort top-level declarations topologically

Open
#409 2 comments 0 reactions 0 assignees View on GitHub
language / concrete syntax
Dominant language
Haskell
Stars
1.7k
Forks
116
PR merge metrics
No merged PRs in 30d

Description

It is quite annoying that all the helper functions have to always go before the place where they're used. Pretty much every language has some support for out-of-order definitions (e.g. Haskell does this automatically, C has forward declarations).

Contributor guide

Open the contributing guide

Research direction

No files, tests, or entry points are named. Start by locating the compiler logic that processes top-level declarations and determine how dependencies between declarations are represented. Done means independent declarations can appear out of order while dependent declarations are processed according to their dependencies, with tests covering the behavior.

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
Mostly clear
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.