@@szaszm_ yes. Which event? Is it on youtube? I guess it doesn't matter now since I watched it with subtitles. But I am curious what else was discussed at that other event.
@@faultboy also kotlin ist mir sehr sympathisch :D aber besonders "FP" ist die sprache noch nicht. ich glaub clojure ist noch mehr FP und läuft in der JVM.
Als C-Programmierer tun mir einige dieser Beispiele natürlich in der Seele weh. Nein, reverse ist keine reine Funktion. Sondern sie wird entweder die umgekehrte Liste zurückgeben oder einen Laufzeitfehler. Damit wird auch deine Version von isPalindrome zu einer Funktion, die entweder ein Boolean zurückgibt oder einen Laufzeitfehler. Die Python-Version am Anfang hingegen, so schlecht sie auch geschrieben war, wird immer ein Boolean zurückgeben. Die Rede ist natürlich von Speicherallokation. Diese sollte man vermeiden, wenn möglich, da sie eine Fehlerquelle ist. Und das mit der Rekursion ist halt auch immer so eine Sache. Natürlich kann man damit Dinge elegant ausdrücken, aber man kann sich auch sehr schnell ins Abseits stellen. Zum Beispiel kann man auch die rekursive Definition der Fibonacci-Zahlen 1:1 abtippen in Haskell - erhält dann aber eine Funktion mit exponentieller Laufzeit. In C kann ich ganz schnell eine Version in linearer Laufzeit aufschreiben, die nicht mal den Stack überschreibt.
I would say, this is a german based organisation around topics with a high saturation of english keywords, so assuming anything being english from them if it isn't indicated by a language signifyer isn't reasonable in my eyes.
@@Alex_Vir Imho that's not a reasonable assumption on how we should percieve youtube. If you click through random recommended videos and the title language differs from the content language, that's a real bummer. Title has either to be in the content language or indicate if it differs.
i like the part where he said haskell and then haskelled all over the place
es wird richtig abgehaskellt
Is the English language talk the slides were recycled from available anywhere? Trying to watch with auto-translated subtitles but that's difficult.
at 0:49 he says he recycled the slides from an event a few months ago
@@szaszm_ yes. Which event? Is it on youtube? I guess it doesn't matter now since I watched it with subtitles. But I am curious what else was discussed at that other event.
Super Vortrag!
Hätte ihn fast nicht angesehen, da mein Englisch nicht sehr gut ist.
Was ist denn mit mcrl2 für beweisbar-sicheren Code bzw. generell der concurrent sequential processes Ansatz?
10:00 `i` ist state
guter talk. das meiste kann man auch gut in typescript machen :)
Wenn man gerne leid erfährt kann man natürlich auch Java Derivate nutzen...
@@faultboy also kotlin ist mir sehr sympathisch :D
aber besonders "FP" ist die sprache noch nicht. ich glaub clojure ist noch mehr FP und läuft in der JVM.
Als C-Programmierer tun mir einige dieser Beispiele natürlich in der Seele weh. Nein, reverse ist keine reine Funktion. Sondern sie wird entweder die umgekehrte Liste zurückgeben oder einen Laufzeitfehler. Damit wird auch deine Version von isPalindrome zu einer Funktion, die entweder ein Boolean zurückgibt oder einen Laufzeitfehler. Die Python-Version am Anfang hingegen, so schlecht sie auch geschrieben war, wird immer ein Boolean zurückgeben. Die Rede ist natürlich von Speicherallokation. Diese sollte man vermeiden, wenn möglich, da sie eine Fehlerquelle ist.
Und das mit der Rekursion ist halt auch immer so eine Sache. Natürlich kann man damit Dinge elegant ausdrücken, aber man kann sich auch sehr schnell ins Abseits stellen. Zum Beispiel kann man auch die rekursive Definition der Fibonacci-Zahlen 1:1 abtippen in Haskell - erhält dann aber eine Funktion mit exponentieller Laufzeit. In C kann ich ganz schnell eine Version in linearer Laufzeit aufschreiben, die nicht mal den Stack überschreibt.
Er hätte auch Sprecher bei den 3 Fragezeichen werden können
Wollte auch gerade anmerken, dass er wie Oliver Rohrbeck klingt 😁
Please DO NOT use English titles for a German-speaking presentation
I would say, this is a german based organisation around topics with a high saturation of english keywords, so assuming anything being english from them if it isn't indicated by a language signifyer isn't reasonable in my eyes.
@@Alex_Vir Imho that's not a reasonable assumption on how we should percieve youtube. If you click through random recommended videos and the title language differs from the content language, that's a real bummer. Title has either to be in the content language or indicate if it differs.
feedback an speaker: bei den fragen mehr ausreden lassen
24:26 Das ist nicht obviously true. Ich biete fac -1.
Alles Toll, aber das Denglisch....,....... :)
Passiert schnell mit englischen Folien, aber ist jetzt nicht so dramatisch.
Nicht so dramatisch stimmt. Nur höre ich so etwas zu oft.... :)😀
this is a great example of technological determinism.. however bound to fail, yet again. Fearless Refactoring and what not...