Czy jest jakiś cel "zrobienia" kanału jednokierunkowego?

Question

NB: To nie jest duplikat pytania o numer this, ponieważ rozumiem, kiedy używasz kanałów jednokierunkowych. Robię to cały czas. Moje pytanie brzmi, dlaczego ten program jest ważny:

func main() { 
    ch := make(chan<- int) 
    ch <- 5 
    fmt.Println("Hello, playground") 
} 

Playground

Running to, oczywiście, daje impasu. Jeśli zaznaczysz typ za pomocą% T, Go faktycznie zgłasza, że ​​typ ch jest kanałem tylko do wysyłania. W Go możesz uzyskać jednokierunkowe kanały make, ale nie ma to większego sensu, ponieważ tworząc kanał, który w momencie jego powstania jest tylko w jedną stronę, zapewnia, że ​​co najmniej jeden z odczytów/zapisów nigdy nie powstanie.

Możliwe wytłumaczenie polegałoby na zmuszeniu goryla do zawieszenia, ale równie łatwo można to osiągnąć dzięki select {}.

Moja jedynym pomysłem jest aby wymusić goroutine tylko coś zrobić n razy

ch := make(chan<- int, 50) 
// do something 50 times, since then the buffer is full 
for { 
    ch <- doSomething() 
} 

Ale to łatwiej, nie wspominając o mniej złudzenia, realizowany z dowolną liczbą różnych konstrukcji.

Czy jest to tylko dziwactwo/niedopatrzenie systemu typu, czy też jest użycie tego zachowania, o którym nie myślę?

Answer 1

Masz język: słowa (tokeny) i gramatykę. Zawsze możesz napisać prawidłowy nonsens: niebieski nie jest kolorem.

Napisałeś poprawny nonsens:

package main 

func main() { 
    ch := make(chan<- int) 
    ch <- 5 
} 

Oto niektóre bardziej ważne nonsens:

package main 

func main() { 
    for { 
    } 
}