Thank you for the feedback! I think this macro is a very nice idea and should indeed allow removing most compose-i functions, except maybe for compose-3 and compose-4, which can be examples of use of make-compose.
I added a Contributing section to the README of the Git repo: https://git.marvid.fr/scolobb/typed-compose#contributing . Do you think you can make the modifications directly a git clone of my repository and submit the changes to me as patches? - Sergiu On Sunday, January 10, 2021 at 6:00:58 AM UTC+1 philngu...@gmail.com wrote: > Nice package. I don't have an account and don't know how to do pull > request on Marvid thing, but I suggest making a macro generating > `compose-n` for arbitrary (statically known) n, and export it along side > with the predefined compose-n functions, something along these lines: > > #lang typed/racket/base > > (provide make-compose > compose-3 compose-4) > > (require (for-syntax racket/base > racket/match > racket/list > racket/syntax > syntax/parse)) > > (define-for-syntax (make-compose-type n) > (with-syntax* ([(t ...) (generate-temporaries (make-list n 't))] > [a (generate-temporary 'a)] > [(_ ... t₀) #'(a t ...)] > [(F ...) > (let step ([u #'a] [ts (syntax->list #'(t ...))]) > (match ts > ['() '()] > [(cons t ts*) (cons #`(#,t → #,u) (step t ts*))]))]) > #'(∀ (a t ...) (F ... → t₀ → a)))) > > (define-syntax make-compose > (syntax-parser > [(_ n:nat) > (with-syntax* ([(f ...) (generate-temporaries (make-list (syntax-e > #'n) 'f))] > [x (generate-temporary 'x)] > [T (make-compose-type (syntax-e #'n))] > [body (foldr (λ (fᵢ res) #`(#,fᵢ #,res)) #'x > (syntax->list #'(f ...)))]) > #'(ann (λ (f ...) (λ (x) body)) T))])) > > (define compose-3 (make-compose 3)) > (define compose-4 (make-compose 4)) > ;; and so on > > > > On Monday, January 4, 2021 at 12:52:11 PM UTC-8 unlimitedscolobb wrote: > >> Hello, >> >> I am glad to announce typed-compose, a small package defining some >> utilities for composing functions in Typed Racket: >> >> https://pkgd.racket-lang.org/pkgn/package/typed-compose >> >> Typed Racket's compose only takes two arguments, because in general it >> is difficult to specify that the return types and the argument types should >> be the same for two successive functions in the argument list. This package >> defines some further utilities to allow compose-ing more than two >> functions more comfortable in Typed Racket. >> >> This is my first ever Racket package, so I'm taking all kinds of feedback. >> >> - >> Sergiu >> > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/25e19ab5-54ea-40b2-a1c0-621982b520a9n%40googlegroups.com.
