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

Costrong machines #31

Closed
wants to merge 2 commits into from
Closed

Costrong machines #31

wants to merge 2 commits into from

Conversation

marcosh
Copy link
Owner

@marcosh marcosh commented Jan 25, 2023

Adds the ability to construct looping machines which feed their outputs directly to themselves as input.

This could be achieved in two ways, actually:

  • using the Costrong instance, using a fix-like style
  • using the new Loop constructor, which preserves more information for static analysis

@marcosh marcosh force-pushed the costrong-machines branch 2 times, most recently from 1f50663 to f6bbc4f Compare January 26, 2023 16:04
Base automatically changed from unrestricted-machine to main January 26, 2023 17:16
Marco Perone added 2 commits January 26, 2023 18:18
StateMachine is a costrong profunctor
c3b8482 
implement that by showing that `StateMachine a b` is isomorhpic to `NonEmpty a -> b`
Also:
- remove singleVertexTopology and use trivialTopology instead
- simplify Demote condition
- generalize trivialTopology for any possible state
add Loop constructor to state machines
bed05bd
@marcosh marcosh closed this Jan 30, 2023
@marcosh marcosh deleted the costrong-machines branch February 27, 2023 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@itsadrake itsadrake Awaiting requested review from itsadrake

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@marcosh