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 standard library module defining common function properties #166

Open
byorgey opened this issue Mar 18, 2019 · 5 comments
Open

Add a standard library module defining common function properties #166

byorgey opened this issue Mar 18, 2019 · 5 comments
Labels
C-Moderate Effort Should take a moderate amount of time to address. S-Moderate Moderate importance U-Standard Library Z-Feature Request Z-Student Good project for a student.

Comments

@byorgey
Copy link
Member

byorgey commented Mar 18, 2019

Associative, commutative, idempotent, identity etc. These can be referenced in properties, and then in order to typecheck applications of reduce we can look for them somehow?
@byorgey byorgey mentioned this issue Jun 24, 2020
Closed
@byorgey
Copy link
Member Author

byorgey commented Jun 24, 2020

Once we have Prop (#217) and the ability to specify qualified polymorphic types (#179) we can put these in a library.

@byorgey byorgey added Z-Feature Request S-Critical Critical importance labels Jun 24, 2020
@byorgey
Copy link
Member Author

byorgey commented Jun 24, 2020

Critical since we really need these in order for containers to work properly.

@byorgey byorgey added C-Moderate Effort Should take a moderate amount of time to address. U-Standard Library labels Jun 24, 2020
@byorgey byorgey added S-Moderate Moderate importance and removed S-Critical Critical importance labels Mar 3, 2022
@byorgey
Copy link
Member Author

byorgey commented Mar 3, 2022

Meh, downgrading to 'moderate' importance. From a theoretical point of view, yes, this is important to get reduce to behave correctly. But at this point it's not something students will ever really run into.

@byorgey
Copy link
Member Author

byorgey commented Apr 25, 2022

Another possibility would be to just have these as built in primitives; but I don't like that because I want students to know the definition of these properties, and being able to actually see the definition instead of having them work by built-in magic would reinforce that.

@byorgey
Copy link
Member Author

byorgey commented Sep 23, 2023

Still blocked on #179 .

@byorgey byorgey changed the title Add a library of function properties Add a standard library module defining common function properties Aug 13, 2024
@byorgey byorgey added the Z-Student Good project for a student. label Oct 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-Moderate Effort Should take a moderate amount of time to address. S-Moderate Moderate importance U-Standard Library Z-Feature Request Z-Student Good project for a student.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@byorgey