Skip to content

Instantly share code, notes, and snippets.

@fogfish

fogfish/heterogeneous-product-types.go

Created March 27, 2022 19:16
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fogfish/502a7ea178b13f8d7f8e0cb3864f7470 to your computer and use it in GitHub Desktop.
Save fogfish/502a7ea178b13f8d7f8e0cb3864f7470 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
heterogeneous-product-types.go
/*
Seq defines fundamental general purpose sequence
*/
type Seq[S any, T any] interface {
Head(S) *T
Tail(S) S
IsVoid(S) bool
}
/*
Eq : T ⟼ T ⟼ bool
Each type implements own equality, mapping pair of value to bool category
*/
type Eq[T any] interface {
Equal(T, T) bool
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment