3 Repos
Memory management where the compiler automatically inserts reference counting operations based on static capability analysis.
Distinct from Memory Reference Counting: Distinct from Memory Reference Counting: the reference counting is inserted by the compiler based on type capabilities, not manually managed by the programmer.
Explore 3 awesome GitHub repositories matching data & databases · Compiler-Inserted Reference Countings. Refine with filters or upvote what's useful.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
Manages memory through compiler-inserted reference counting driven by reference capabilities, eliminating the need for a tracing garbage collector.
Koka ist eine statisch typisierte funktionale Programmiersprache mit einem algebraischen Effektsystem. Sie verwendet ein starkes Typsystem, um die Korrektheit von Programmen zu verifizieren und Seiteneffekte zur Kompilierzeit zu verfolgen. Die Sprache zeichnet sich durch einen Referenzzählungs-Compiler aus, der Quellcode in nativen C-Code umwandelt, wodurch ein Garbage Collector überflüssig wird. Sie verwendet wahrnehmungsbasierte In-Place-Updates, um den Speicher-Overhead zu reduzieren, und nutzt Tail Recursion Modulo Cons für die Konstruktion von Datenstrukturen mit konstantem Speicherbedarf. Das System bietet eine umfassende Standardbibliothek, die numerische Operationen mit beliebiger Präzisionsarithmetik, String-Verarbeitung mit effizienten Views und koinduktive Datenmodellierung für unendliche Strukturen abdeckt. Sie enthält zudem integrierte Unterstützung für hardware-sampling-basiertes Ausführungs-Profiling sowie einen komponierbaren Mechanismus zur Behandlung von Exceptions und asynchronen Abläufen.
Utilizes a compiler that automatically inserts reference counting for memory management without a garbage collector.
Dieses Projekt ist eine kuratierte Sammlung technischer Fragen und Antworten, die Entwicklern bei der Vorbereitung auf Software-Engineering-Interviews innerhalb des iOS-Ökosystems helfen sollen. Es dient als strukturiertes Lerntool zur Bewertung der Kompetenz in mobiler Anwendungsarchitektur, Systemdesign und grundlegenden Programmierkonzepten. Das Repository bietet eine umfassende Referenz für wesentliche Entwicklungsthemen, einschließlich Speicherverwaltung, Nebenläufigkeit, Design-Patterns und Datenpersistenz. Durch die Abdeckung dieser grundlegenden Bereiche ermöglicht es Benutzern, gängige Industrie-Interviewthemen zu überprüfen und ihr Verständnis dafür zu testen, wie Anwendungslogik strukturiert und Systemressourcen effektiv verwaltet werden. Der Inhalt erstreckt sich über ein breites Spektrum technischer Domänen, von der Implementierung von Interface-Constraints und View-Lebenszyklusmanagement bis zur Anwendung automatisierter Test- und Debugging-Techniken. Diese Materialien sind so organisiert, dass sie Entwicklern helfen, Bereiche für weiteres Studium zu identifizieren und ihr Wissen über die Standardpraktiken zu verfeinern, die zur Aufrechterhaltung zuverlässiger und reaktionsschneller mobiler Anwendungen verwendet werden.
Covers memory management where the compiler automatically inserts reference counting operations based on static capability analysis.