Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Automatic conversions between units using TCons to represent OM-typed data #6

Closed
pospi opened this issue Mar 12, 2021 · 1 comment
Closed

Automatic conversions between units using TCons to represent OM-typed data #6

pospi opened this issue Mar 12, 2021 · 1 comment

Comments

@pospi
Copy link

pospi commented Mar 12, 2021

Rather than implementing OM itself in Rust (something akin to Dimensional in Haskell), a simpler (but much less performant) option may be to embed an RDF reasoner that leverages the OM RDF ontology directly.

See https://github.com/HajoRijgersberg/OM#libs for some implementations of OM unit conversions in other languages.
@mhuesch mhuesch mentioned this issue Apr 5, 2021
Open
mhuesch added a commit that referenced this issue Apr 12, 2021
@mhuesch
support multis in lam, app, let (#6)
08131be 
this allows us to write

----
(lam [x y] y)

(f x y)

(let ([x 1]
      [y 2])
  y)
----

these desugar into multiple applications of the singular Expr
constructors. since we support currying this works nicely.
@mhuesch
Copy link
Contributor

mhuesch commented Nov 9, 2021

subsumed, for implementation purposes, by #13.

embedding an RDF reasoner into rep_lang seems out of scope for now, and I think we will remember to check this issue if/when we come up against something which necessitates that.

@mhuesch mhuesch closed this as completed Nov 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pospi @mhuesch