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

Add a Lazy type that compiles to delay/force #5908

Open
zliu41 opened this issue Apr 16, 2024 · 3 comments · May be fixed by #5910
Open

Add a Lazy type that compiles to delay/force #5908

zliu41 opened this issue Apr 16, 2024 · 3 comments · May be fixed by #5910
Labels
enhancement Internal status: triaged

Comments

@zliu41
Copy link
Member

zliu41 commented Apr 16, 2024

Describe the feature you'd like

See this comment from Roman: https://github.com/IntersectMBO/plutus/pull/5901/files#r1563932610

Describe alternatives you've considered

No response
@github-actions github-actions bot added the status: needs triage GH issues that requires triage label Apr 16, 2024
@zliu41 zliu41 mentioned this issue Apr 16, 2024
Merged
@michaelpj
Copy link
Contributor

I think this can be done with some simple library code:

newtype Lazy a = Lazy (forall b . a)

force :: Lazy a -> a
force (Lazy a) = a @()

@michaelpj
Copy link
Contributor

And I'd prefer if we called it Delay rather than Lazy, since it's not lazy in the sense of Haskell since it's not memoized.

@michaelpj
Copy link
Contributor

Probably the type instantiation should be at a builtin type, so we don't hold on to the unit type definition if we don't need it.

michaelpj added a commit that referenced this issue Apr 17, 2024
@michaelpj
Add Delay type and use it
07a889e 
Fixes #5908.

Unsure where to put this, it could go in its own module I guess.
@michaelpj michaelpj linked a pull request Apr 17, 2024 that will close this issue
Open
@Unisay Unisay added status: triaged Internal and removed status: needs triage GH issues that requires triage labels Apr 19, 2024
@effectfully effectfully mentioned this issue Oct 5, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement Internal status: triaged
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add Delay type and use it IntersectMBO/plutus
3 participants
@Unisay @michaelpj @zliu41