Project Proposal - Githubissues

joristt / Hanus

A much more powerful version of the reversible language Janus, built in Haskell

8 stars 0 forks source link

Project Proposal #2

Closed omelkonian closed 7 years ago

omelkonian commented 7 years ago

[x] Background
[x] Problem
1. Research Question
2. Very Basic Janus DSL
  - Embedding the DSL
  - No local variables
  - No IO
3. Extensions
  - Arbitrary types
  - Local vars ~> Function args
  - More operators
4. Applications
  - Pathfinding algorithms
  - Encoding-Decoding
  - Low-level bit manipulation (hamming error correction)
  - [Optional] Reversible Debugger
5. Benchmarking
6. [Optional] Formal Verification of Reversibility
[x] Methodology
1. Template Haskell
2. Benchmarking
  - Which algorithms?
  - Compare against what?
3. Risks/Contingency plans
  - Especially arbitrary types
  - Arbitrary types ~> Ad-hoc types
  - Full verification ~> Basic DSL verification
4. Goal
  - About 2/3 of the tasks
  - Minimal set (basic DSL, adhoc types, relevant applications)
  - A more useful/practical interpreter of Janus
  - Inherit the power of Haskell
  - Compile-time guarantees
  - Slightly verified
[x] Planning

omelkonian commented 7 years ago

Done!