Zitat von: ProfHase
Der IT-Thread
-
Mod/RDW
#221 Sylvester 3 Dez. 2021, 16:27Hab mein Media-PC-Notebook auf Windows 11 upgedatet. Jetzt kann ich es nicht mehr aus dem StandBy mit meiner Air-Mouse-Tastatur aufweckenHätteste mal auf GNU/Linux upgedatet.
-
Mod/RDW
-
Mod/RDW
#223 ProfHase 3 Dez. 2021, 16:38Zitat von: Hexley
Hätteste mal auf GNU/Linux upgedatet.SkyGo läuft da eher nicht
Zitat:Gibt es eine Möglichkeit den SkyPlayer für Windows unter Linux herunterzuladen? Mit Wine...
Zitat:Soweit ich weiß, gibt es keine Möglichkeit mit linux. Eine VM mit Windows und damit versuchen?
-
#224 Gelöschtes Mitglied 78 3 Dez. 2021, 16:42
Zitat von: Hexley
Monaden sind doch einfach nur Endofunktoren mit bestimmten Eigenschaften. Genauer gesagt, ein Monoid in der Endofunktor-Kategorie.
Das heißt, dass es in der Endofunktor-Kategorie einen Pfeil mu: id -> T und einen Pfeil eta: T²=T°T -> T gibt (die sind dann also eigentlich natürliche Transformationen), sodass in der Endofunktor-Kategorie die Diagramme
und
kommutieren. -
-
Mod/RDW
-
#227 pump3 4 Dez. 2021, 13:07Zitat von: ProfHase
Du klingst wie ein Javascript Weichei, kann das sein?
Wieviel Soylent Flaschen trinkst du so am Tag? -
Mod/RDW
-
-
Mod/RDW
-
Mod/RDW
#231 Sylvester 5 Dez. 2021, 09:55Gibt viele Sachen in Haskell die hätte ich gerne auch in den Programmiersprachen die ich benutze:
- Pattern Matching ist ganz vorne dabei. Hat Python inzwischen ab Version 3.10, aber in C++ gibt es das noch nicht
- Das definieren von eigenen Operatoren: Man kann in Haskell nicht nur +, -, /, ... überladen, sondern sich auch eigene Operatoren definieren, z.B. wie im obigen Beispiel
=$=. Man kann sogar die Priorität abändern, z.B. dass zuerst+ausgewertet wird, anstelle von*. Fehlt in Python und C++ - Man kann in Haskell relativ einfach einen neuen Typ generieren mit
newtype. Kann man auch in C++ mitusingundtypedef. Aber wenn ich jetzt in C++ sage:using Watt = int;undusing Meter = int;, so könnte ich auchWatt(200) + Meter(20)schreiben, ohne dass der Compiler einen Fehler oder Warning generiert. Wobei ich der Meinung bin, dass F# hier mit Units of measure sogar noch ein Stück besser auf sowas zugeschnitten ist, da kann man dann noch zwischen verschiedenen Größeneinheiten (Kilo, Milli, ...) eine Umwandlung erreichen.
Es ist zwar alles ultraelegant, aber wenn man dann doch mal ein Programm für die echte Welt schreiben will sieht es gleich ganz anders aus:
- eingebaute Liste in Haskell besteht aus Head und Tail: nett für die schönen Beispiele, aber mal eine Datei von 1 MB einlesen und damit arbeiten würde ziemlich Ressourcen verbraten. Der eingebaute Listentyp in Python hätte damit keine Probleme. Es gibt wohl auch in Haskell was dem nahe kommt, weiß ich aber nicht wie die heißt. Ich fürchte man braucht dafür schon Drittbibliotheken
- sowas wie ein C-Array geht schon gar nicht, weil es dem Prinzip der Unveränderbarkeit der "Variablen" (heißen in Haskell auch anders) entgegensteht (außer man macht ein Readonly-Array)
-
Mod/RDW
#232 ProfHase 5 Dez. 2021, 12:00Zitat von: Hexley
Man kann sogar die Priorität abändern, z.B. dass zuerstWarum sollte man das wollen? /o\+ausgewertet wird, anstelle von*. -
#233 pump3 5 Dez. 2021, 14:20Zitat von: ProfHase
Warum sollte man das wollen? /o\offensichtlich um hyperkomplexe Matrizen in nicht-metrischen Räumen aufaddieren zu können.
Oder halt um nicht abelsche Gruppen und Ringe im R^n partiell differenzieren zu können.
Du warst in der Schule nicht besonders gut, kann das sein? -
Mod/RDW
-
-
Mod/RDW
#236 Sylvester 8 Dez. 2021, 01:32
Hab ich zwar schon in einem anderen Thread gepostet, aber fand das sehr interessant. Quizfrage: Ab wann oder bis wann ist eine Programmiersprache eine "Soylanguage"?
Bei Haskell und Lisp würde ich sogar zustimmen, dass das Sprachen für Sojabuben sind um sich wichtig zu machen. Haskell ist eine akademische Lehrsprache die für echte Zwecke unbrauchbar ist, und Lisp hat seine besten Zeiten längst hinter sich.
Bei Rust ist es gerade so an der Kante. Die Sprache wird inzwischen sogar im Linuxkernel (experimenteller Status) genutzt.
Python passt meiner Meinung nach nicht mehr dazu, da diese inzwischen sehr weit verbreitet ist und ihren Zweck erfüllt. Klar ist sie ultralangsam, und mit C oder C++ würde das Programm vermutlich 100x so schnell laufen. Aber sehr oft ist man darauf ja sowieso nicht angewiesen, und man kann zeitkritische Teile ja auch in C oder C++ schreiben und sie aus Python aufrufen.
Ansonsten fallen mir als Soylanguage noch folgende Sprachen ein:
- Ruby: Musste ich selbst mal im Studium programmieren wegen Ruby on Rails. Ich hasse diese Sprache. Ohne Rails interessiert sich fast kein Schwein für dieses Zeug
- Go: Ich hab sie selber mal ausprobiert, aber als ich dann die geschweifte Klammer
{in die nächste Zeile machte, hat es auf einmal nicht mehr kompiliert. Seitdem nie wieder angefasst. Absolutes Kommunistenmachwerk, kommt ja auch von Google.
-
Mod/RDW
#237 BSKartoffel 8 Dez. 2021, 06:40Programmiere immer noch hier und da mit Ruby für Redmine. Ist aber überschaubar. Geil ist es natürlich nicht
-
#238 hdnslt 8 Dez. 2021, 08:32Benutze derzeit als Mediarechner am TV nen Raspi 4. Würde in Zukunft aber gerne 4k Inhalte konsumieren und suche jetzt Ersatz.
Hat jemand ne Empfehlung für passende Hardware
Anforderungen:
- Möglichst klein
- 4k fähig
- Linux oder Windows muss drauf laufen (kein Android Stick o.Ä.)
- ca. 200€ max
- zur Not auch was Gebrauchtes, falls man es in nem seriösen Shop bekommt (kein Ebay oder so)
og war alles -
Mod/RDW
#239 ProfHase 8 Dez. 2021, 09:10Was kann man denn als 4K Referenz nehmen? Hab einen 4K TV und ein Notebook (sogar ein Markennotbook) als Media-PC
-
Mod/RDW
#240 BSKartoffel 8 Dez. 2021, 09:46Zitat von: hdnslt
Benutze derzeit als Mediarechner am TV nen Raspi 4. Würde in Zukunft aber gerne 4k Inhalte konsumieren und suche jetzt Ersatz.Hast du mp4 Dateien in 4K oder willst du Netflix und Co. guckne?
Hat jemand ne Empfehlung für passende Hardware
Anforderungen:
- Möglichst klein
- 4k fähig
- Linux oder Windows muss drauf laufen (kein Android Stick o.Ä.)
- ca. 200€ max
- zur Not auch was Gebrauchtes, falls man es in nem seriösen Shop bekommt (kein Ebay oder so)
og war alles



