From c00e86d97dab126b161aeda6768ed5e0e9b09e1b Mon Sep 17 00:00:00 2001
From: Antonio De Lucreziis <antonio.delucreziis@gmail.com>
Date: Fri, 3 Mar 2023 23:15:14 +0100
Subject: [PATCH] commit

---
 POST.md | 18 ++++++++++++++++++
 go.mod  |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/POST.md b/POST.md
index a3d8a4c..809107a 100644
--- a/POST.md
+++ b/POST.md
@@ -373,6 +373,24 @@ questo porterebbe a vari problemi sul come generare il codice per questo tipo in
 
 Un modo potrebbe essere fare come Rust e non permettere definire interfacce/trait con metodi/funzioni che introducono nuovi tipi parametrici, vedremo in Go 2...
 
+<!-- 
+Alternativamente molto più semplicemente se abbiamo
+
+```go
+type Baz struct{}
+
+func (Baz) Bar[T any](T) {}
+```
+
+a questo punto se abbiamo un valore `b` di tipo `Baz` potremmo fare
+
+```
+var b Baz
+
+b[int](42)
+b[string]("example")
+``` -->
+
 ## Quando non usare le generics?
 
 Ci potrebbe venire in mente di scrivere una funzione per leggere tutto da un `io.Reader` aggiungendo il vincolo `io.Reader` al _type parameter_
diff --git a/go.mod b/go.mod
index 42d7552..1a2fa0d 100644
--- a/go.mod
+++ b/go.mod
@@ -2,4 +2,4 @@ module talk
 
 go 1.19
 
-require golang.org/x/exp v0.0.0-20230224173230-c95f2b4c22f2 // indirect
+require golang.org/x/exp v0.0.0-20230224173230-c95f2b4c22f2