🚀 go-pugleaf

W dniu 2019-01-02 o 22:18, Borys Pogoreło pisze:

>> Sądzisz, że tak? Ja nie bardzo sobie wyobrażam jak wywołać funkcję i
>> przekazać jej parametry zgodnie z fantazją twórcy tejże funkcji.
>> Instanceof działa post factum. Tymczasem typy argumentów trzeba znać
>> _ZANIM_ wywoła się daną funkcję.
> 
> To chyba normalne w każdym normalnym [1] języku obsługującym typowanie?

Chyba się nie rozumiemy. To moim zdaniem nie mocno nienormalne. Może 
opiszę to częściowo kodem. Piszemy klasę framework i metodę run():

abstract class framework {
   private function run() {
	switch (wezTypArgumentuProgramisty( $this->execute) {
	case User: $this->execute(new User); break;
	case Dog: $this->execute(new Dog); break;
	}

	$this->execute("abc");
   }

   abstract protected function execute($param) {}
}

Programista pisze dwie klasy dziedziczące w/w i nadpisujące metodę execute:

class mine1 extends framework {
   protected function execute(User $user) { do something }
}


class mine2 extends framework {
   protected function execute(Dog $dog) { do something }
}

Czy takie programowanie jest normalne, gdzie programista wymyśla sobie 
argumenty do funkcji a framework krakuje klasy potomne programisty w 
celu wyłuskania typów oczekiwanych argumentów i takie je przekazuje?

-- 
Pozdrawiam,
Marek