We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Minimalism versus Types

00:00

Formale Metadaten

Titel
Minimalism versus Types
Untertitel
An experience report on the development of Titan, a statically-typed Lua-like language
Serientitel
Anzahl der Teile
Autor
Lizenz
CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
Identifikatoren
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Abstract
We love minimalistic languages because they let us do so much with so little. But when we start doing a lot with them, often we start yearning for types to help us make sense of it all. Adding types to a minimalistic language (well, adding anything!) makes it larger. Is this worth the price? Is a rich type system antithetical to minimalism? Let's find out! This talk is based on the experiences in the development process of Titan, a statically-typed Lua-like language.
Formale SpracheSoftwarewartungProgrammierspracheMultiplikationsoperatorLokales MinimumDatenverwaltungProgrammierungComputeranimationVorlesung/Konferenz
MereologieFormale SpracheMinimumKonstruktor <Informatik>Rechter WinkelLokales MinimumSchreib-Lese-KopfWeb-SeiteProgrammierspracheProgrammbibliothekVorlesung/Konferenz
RechenwerkProgrammbibliothekMereologieFormale SpracheGanze FunktionComputeranimation
MatchingGüte der AnpassungPerspektiveMereologieBitÄhnlichkeitsgeometrieQuick-SortFormale SpracheCompilerProgrammierspracheProgrammierungRückkopplungNeuroinformatikVorlesung/Konferenz
ZeichenketteAssemblerEuler-Lagrange-GleichungVariableErlang-VerteilungNummernsystemAppletZeichenketteProgrammierspracheGanze ZahlVariableWeb-SeiteKategorie <Mathematik>Physikalische TheorieTermEinsBitZahlenbereichHydrostatikFormale SpracheAppletRechenwerkUmsetzung <Informatik>EntwurfsspracheDatenfeldRechter WinkelMultiplikationsoperatorCoxeter-GruppeDifferenteAssemblerComputeranimation
Lokales MinimumNummernsystemMultiplikationsoperatorKonfiguration <Informatik>GruppenoperationProgrammbibliothekVererbungshierarchieNP-hartes ProblemGesetz <Physik>Web-SeiteMereologieMeta-TagHeuristikProgrammierspracheRechter WinkelFormale SpracheDatenstrukturCodePunktProjektive EbeneCASE <Informatik>MetaprogrammierungPhysikalisches SystemProgrammiergerätVerzweigendes ProgrammLokales MinimumStatistische HypotheseImplementierungProgrammierungCoxeter-GruppePrototypingEinsSchreib-Lese-KopfVorlesung/Konferenz
Formale SpracheFormale SpracheProgrammierspracheGemeinsamer SpeicherLokales MinimumPhysikalisches SystemComputeranimation
Physikalisches SystemSchlussregelProgrammierspracheNummernsystemVorlesung/Konferenz
SchlussregelPhysikalisches SystemProgrammSchlussregelQuellcodeFormale SpracheProgrammierungInteraktives FernsehenSchreib-Lese-KopfProgrammierspracheComputeranimation
Formale SprachePhysikalisches SystemStatistische HypotheseSchlussregelCodierungSchreib-Lese-KopfVorlesung/Konferenz
Funktionale ProgrammiersprachePhysikalisches SystemTabelleGeradeTypsichere SpracheMultiplikationAggregatzustandSchlussregelFehlermeldungRechter WinkelComputeranimation
VariableErlang-VerteilungNummernsystemAppletProgrammierspracheTurm <Mathematik>VariableUnendlichkeitKomplex <Algebra>Kategorie <Mathematik>Computeranimation
VariableErlang-VerteilungNummernsystemAppletZeichenketteFunktion <Mathematik>Ganze ZahlFunktionale ProgrammierspracheZeichenketteGanze ZahlProgrammierspracheFormale SpracheRechter WinkelPhysikalisches SystemBeweistheorieMultiplikationsoperatorLesen <Datenverarbeitung>Notepad-ComputerSchreib-Lese-KopfProgrammierungComputeranimation
DatenflussDeterminanteGanze ZahlParametersystemTabelleVorlesung/Konferenz
Formale SpracheVorlesung/Konferenz
ZeichenketteFunktion <Mathematik>Ganze ZahlMultifunktionRekursiv aufzählbare MengeStellenringZusammenhängender GraphFehlermeldungMultiplikationsoperatorZahlenbereichVariablePhysikalisches SystemProgrammierungMultifunktionLastDatenflussAnalysisInformationSchreib-Lese-KopfDifferentialgleichungPrädikatenlogik erster StufeZeichenketteLogische ProgrammierspracheRechter WinkelGanze ZahlTabelleProzess <Informatik>Computeranimation
StellenringFehlermeldungRechter WinkelZeichenketteComputeranimation
StellenringArray <Informatik>Objektorientierte ProgrammierspracheData DictionaryZeichenketteTextur-MappingAnalysisDatenflussGanze ZahlCASE <Informatik>TabelleObjektorientierte ProgrammierspracheDatenfeldZeichenketteData DictionaryMapping <Computergraphik>Array <Informatik>DatenstrukturPrimitive <Informatik>Computeranimation
MagnettrommelspeicherArithmetischer AusdruckFormale SpracheProgrammierungVererbungshierarchieTuring-TestMultiplikationsoperatorBaum <Mathematik>Rechter WinkelVollständigkeitProgrammierspracheVorlesung/Konferenz
AppletTabelleInformationsspeicherungRechter WinkelFormale SpracheComputeranimation
Formale SprachePunktMAPKomplex <Algebra>Objektorientierte ProgrammierspracheWort <Informatik>SelbstrepräsentationRechter WinkelMailing-ListeDifferenteSchnitt <Mathematik>GarbentheorieDatenfeldVorlesung/Konferenz
ProgrammiergerätProgrammierungEinsFehlermeldungGanze ZahlTabelleSchnitt <Mathematik>Konfiguration <Informatik>Arithmetischer AusdruckZeiger <Informatik>SpieltheorieRechter WinkelVersionsverwaltungFunktionale ProgrammierspracheZeichenketteComputeranimation
ZweiProgrammfehlerAuswahlaxiomBenutzerfreundlichkeitLogische ProgrammiersprachePhysikalisches SystemVorlesung/Konferenz
Minkowski-MetrikLokales MinimumFehlermeldungFunktion <Mathematik>Lokales MinimumCodeProgrammierungTurtle <Informatik>Minkowski-MetrikQuellcodeOpen SourceTypsichere SpracheArithmetische FolgeComputeranimation
Vorlesung/KonferenzBesprechung/InterviewComputeranimation
Transkript: English(automatisch erzeugt)