home.social

#genericprogramming — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #genericprogramming, aggregated by home.social.

  1. Boyd Stephen Smith Jr. @[email protected] ·

    What's the goto for #GenericProgramming in #PureScript ? The prelude module (pursuit.purescript.org/package) doesn't seem to have any instances, so I'm guessing it is not much used?

    Or, am I really expected to patch prelude for my `Generic Unit _` instance?

    Just trying to `show` and `Scope` from `Bound` module. #Scope #Bound #deBruijn

    #genericprogramming #purescript #scope #bound #debruijn