add Show class and friends #1641
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
c24a9f6 to
f49d557
Compare
6051c9c to
f0e9147
Compare
f0e9147 to
a7922df
Compare
Jason94
reviewed
Dec 15, 2025
a7922df to
42490b4
Compare
42490b4 to
a7cc249
Compare
YarinHeffes
reviewed
Dec 17, 2025
Comment on lines
+48
to
+58
| (inline) | ||
| (declare proxy-function-from (Proxy (:a -> :b) -> Proxy :a)) | ||
| (define (proxy-function-from _) | ||
| "Get a `Proxy` representing the \"domain\" of a function type." | ||
| Proxy) | ||
|
|
||
| (inline) | ||
| (declare proxy-function-to (Proxy (:a -> :b) -> Proxy :b)) | ||
| (define (proxy-function-to _) | ||
| "Get a `Proxy` representing the \"codomain\" of a function type." | ||
| Proxy) |
Collaborator
There was a problem hiding this comment.
What's your opinion on using the following instead?
Suggested change
| (inline) | |
| (declare proxy-function-from (Proxy (:a -> :b) -> Proxy :a)) | |
| (define (proxy-function-from _) | |
| "Get a `Proxy` representing the \"domain\" of a function type." | |
| Proxy) | |
| (inline) | |
| (declare proxy-function-to (Proxy (:a -> :b) -> Proxy :b)) | |
| (define (proxy-function-to _) | |
| "Get a `Proxy` representing the \"codomain\" of a function type." | |
| Proxy) | |
| (inline) | |
| (declare proxy-left (Proxy (:T :a :b) -> Proxy :a)) | |
| (define (proxy-left _) | |
| "Get a `Proxy` representing the \"domain\" of a relational type." | |
| Proxy) | |
| (inline) | |
| (declare proxy-right (Proxy (:T :a :b) -> Proxy :b)) | |
| (define (proxy-right _) | |
| "Get a `Proxy` representing the \"codomain\" of a relational type." | |
| Proxy) |
Contributor
There was a problem hiding this comment.
I don't like that because it doesn't make sense for types like Result or Either, but I think (?) that'll typecheck. What about proxy-function-arg and proxy-function-result? from/to also seem fine.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is to scratch an itch of being able to print stuff, superseding
traceand friends. It introduces two type classes:ShowType :twithshow-type-toto reify a string representation of:tShow :twithshow-toto reify a string representation of values of:tfor debugging purposesBoth use a "callback-style" interface: provide an
f :: (String -> Unit)to these procedures, andfwill be called on the component strings. One can always build an actual, full string withshow-as-stringandshow-inferred-type-as-string.Other cool things:
TODO:
ShowTypeandShowfor the rest of the library types.Future work: