Dies ist die Windows-App namens Refined, deren neueste Version als 0.11.3sourcecode.tar.gz heruntergeladen werden kann. Sie kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens „Refined with OnWorks“ kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie einen beliebigen OS OnWorks-Online-Emulator von dieser Website, aber einen besseren Windows-Online-Emulator.
- 5. Rufen Sie vom gerade gestarteten OnWorks Windows-Betriebssystem unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter und installieren Sie sie.
- 7. Laden Sie Wine aus den Software-Repositorys Ihrer Linux-Distributionen herunter. Nach der Installation können Sie dann auf die App doppelklicken, um sie mit Wine auszuführen. Sie können auch PlayOnLinux ausprobieren, eine schicke Schnittstelle über Wine, die Ihnen bei der Installation beliebter Windows-Programme und -Spiele hilft.
Wine ist eine Möglichkeit, Windows-Software unter Linux auszuführen, jedoch ohne Windows. Wine ist eine Open-Source-Windows-Kompatibilitätsschicht, die Windows-Programme direkt auf jedem Linux-Desktop ausführen kann. Im Wesentlichen versucht Wine, genügend Windows von Grund auf neu zu implementieren, damit alle diese Windows-Anwendungen ausgeführt werden können, ohne dass Windows tatsächlich benötigt wird.
SCREENSHOTS
Ad
Raffiniert
BESCHREIBUNG
Refined ist eine Scala-Bibliothek, die Typen mit Kompilierzeitbeschränkungen durch prädikatartige Verfeinerungstypen erweitert. Sie ermöglicht die Einbettung von Validierungslogik in Typen wie Refined[Int, Positive] und stellt sicher, dass ungültige Werte zur Kompilier- oder Laufzeit abgelehnt werden. Dies erhöht die Sicherheit und reduziert den Boilerplate-Code in der Domänenmodellierung.
Eigenschaften
- Umfangreiche Prädikatunterstützung (z. B. Positiv, Nicht leer, Bereichsbeschränkungen)
- Zur Kompilierzeit verifizierte Verfeinerungen für konstante Werte
- Nahtlose Integration mit Typ-Level-Programmierung und formlosen
- Automatische Validierung über Implizite und Makros
- Interoperabilität mit Circe, Cats und anderen Funktionsbibliotheken
- Reduziert Boilerplate bei der Überprüfung von Invarianten während der Laufzeit
Programmiersprache
Scala
Kategorien
Diese Anwendung kann auch von https://sourceforge.net/projects/refined.mirror/ heruntergeladen werden. Sie wurde in OnWorks gehostet, um sie auf einfachste Weise online von einem unserer kostenlosen Betriebssysteme aus ausführen zu können.
