What's the goto for #GenericProgramming in #PureScript ? The prelude module (https://pursuit.purescript.org/packages/purescript-prelude/6.0.1/docs/Data.Generic.Rep) 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

I just learned about C's "type-generic math" and don't know how to feel about it, except admit it's a clever hack to add function overloading.

Imagine you think you're calling function f but not really because of a macro f hidden in some header. Such unlikely-to-pass-review-if-we-wrote-it-code really exists to handle calls to sqrt and such (except it expands to a _Generic expression).

CE: https://godbolt.org/z/M7n85e3qK

Type-generic math: https://en.cppreference.com/w/c/numeric/tgmath

#c #programming #genericProgramming

Referenced link: https://hackernoon.com/generic-programming-in-go
Discuss on https://discu.eu/q/https://hackernoon.com/generic-programming-in-go

Originally posted by HackerNoon | Will NOT Insert LINKS in HN stories / @hackernoon@twitter.com: https://twitter.com/hackernoon/status/1532180256215515136#m

"Generic Programming in Go"cc: https://hackernoon.com/generic-programming-in-go #generics #genericprogramming

This weekend my great coauthors and I shipped a draft about a universe of scope safe syntaxes with binding, their semantics and proofs! Plenty of #Agda, #GenericProgramming and even #GenericProving ! https://gallais.github.io/pdf/draft_fscd17.pdf