Skip to content

Instantly share code, notes, and snippets.

@umazalakain

umazalakain/rise-tasks.md

Last active March 21, 2021 23:18
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save umazalakain/e3ae376f4b6a57cd2112bd95de18fdc3 to your computer and use it in GitHub Desktop.
Save umazalakain/e3ae376f4b6a57cd2112bd95de18fdc3 to your computer and use it in GitHub Desktop.
Download ZIP
Uma's RISE tasks
Raw
rise-tasks.md

Tasks

  • rise traversals
  • dpia traversals
  • index translation
    • some expressions do not get translated
    • some indices are missing from the path
  • rise primitive documentation
    • create issue re. identifier naming before merging
  • dpia primitive documentation
    • add /** documenting primitive arguments
    • generate documentation from arguments, typechecking with :: and the resulting type t
  • identifier naming
    • summarise and link to all the issues related to identifier naming
  • alpha equivalence refactoring
    • toBeTyped(e) !: t makes some implicits in t explicit
  • implicits/explicits
    • differentiate through types instead of boolean flags
    • freeze/unfreeze in substitution should not convert between implicits/explicits
    • add directed constriants, so that types don't have to be made explicit on one side
    • check where .asExplicit et al are used
  • scala 3 macros
    • how could the scala 2 rise macros be translated? what would it entail?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment