Issues

• Design of the packaging system – packaging / library / namespace controls

  strangemonad/runway#31 · Filter by author strangemonad opened on Mar 7, 2018

• Concepts and representations as retracts

  strangemonad/runway#30 · Filter by author strangemonad opened on Feb 21, 2018

• Explore model and representation separation

  strangemonad/runway#29 · Filter by author strangemonad opened on Jan 9, 2018

• Principles

  strangemonad/runway#28 · Filter by author strangemonad opened on Jan 9, 2018
  1

• Explore semantic changes

  strangemonad/runway#27 · Filter by author strangemonad opened on Dec 30, 2017

• Should 2 data mappers that type check count as partial "proof" of isomorphism

  strangemonad/runway#26 · Filter by author strangemonad opened on Dec 29, 2017

• Explore inheritance vs traits for modeling

  strangemonad/runway#25 · Filter by author strangemonad opened on Dec 29, 2017

• Explore refs vs object graphs

  strangemonad/runway#24 · Filter by author strangemonad opened on Dec 29, 2017
  1

• Explore round trip engineering

  strangemonad/runway#23 · Filter by author strangemonad opened on Dec 29, 2017

• Allow language build profiles

  strangemonad/runway#21 · Filter by author strangemonad opened on Dec 29, 2017

• Explore defining verilog and HW modules or subsets of IP cores

  strangemonad/runway#20 · Filter by author strangemonad opened on Nov 30, 2017

• Explore type metadata or tags

  strangemonad/runway#19 · Filter by author strangemonad opened on Nov 26, 2017

• Explore source level transclusion and macro generation as a means of code reuse

  strangemonad/runway#18 · Filter by author strangemonad opened on Nov 26, 2017

• Explore language dependant transclusions (within bounded contexts)

  strangemonad/runway#17 · Filter by author strangemonad opened on Nov 26, 2017

• Idea: there is no "true" representation. Allow functors between equivalent forms

  strangemonad/runway#16 · Filter by author strangemonad opened on Nov 11, 2017
  2

• Tools: analyze existing types (in various languages) and generate a model for it.

  strangemonad/runway#15 · Filter by author strangemonad opened on Nov 10, 2017

• Explore how to handle traget type sizes (e.g. Long) separately from modeling concerns

  strangemonad/runway#14 · Filter by author strangemonad opened on Nov 10, 2017
  1

• Explore how to allow generated types to inheret from targetet language protocol / interface / type traits

  strangemonad/runway#13 · Filter by author strangemonad opened on Nov 10, 2017

• Explore how to handle name clashes at usagge sites

  strangemonad/runway#12 · Filter by author strangemonad opened on Nov 10, 2017

• Explore how mappers / converters work

  strangemonad/runway#10 · Filter by author strangemonad opened on Nov 10, 2017

• Define some core, useful models (and values)

  strangemonad/runway#9 · Filter by author strangemonad opened on Nov 10, 2017

• Explore the migration of model types

  strangemonad/runway#8 · Filter by author strangemonad opened on Nov 10, 2017
  1

• Explore how to allow per-language style customizations (e.g. capitalization)

  strangemonad/runway#7 · Filter by author strangemonad opened on Nov 10, 2017

• How can generated models add methods (in their respective target language)

  strangemonad/runway#6 · Filter by author strangemonad opened on Nov 10, 2017

• Explore how models map to cannonical target language types

  strangemonad/runway#5 · Filter by author strangemonad opened on Nov 10, 2017
  1