Presenting nix-writers
This is a modal window.
Das Video konnte nicht geladen werden, da entweder ein Server- oder Netzwerkfehler auftrat oder das Format nicht unterstützt wird.
Formale Metadaten
Titel |
| |
Serientitel | ||
Anzahl der Teile | 27 | |
Autor | ||
Lizenz | CC-Namensnennung 3.0 Unported: 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 | 10.5446/39615 (DOI) | |
Herausgeber | ||
Erscheinungsjahr | ||
Sprache |
Inhaltliche Metadaten
Fachgebiet | |
Genre |
NixCon201816 / 27
3
5
6
7
10
13
16
19
20
22
24
25
00:00
SkriptspracheFormale SpracheStapeldateiSchreiben <Datenverarbeitung>Vorlesung/KonferenzBesprechung/Interview
00:22
ZeichenketteVariableInklusion <Mathematik>AdditionFormation <Mathematik>Vorlesung/Konferenz
00:36
Inklusion <Mathematik>VariableAdditionZeichenketteDerivation <Algebra>ComputervirusDerivation <Algebra>Gerade
00:41
Binder <Informatik>InterpretiererComputeranimationVorlesung/Konferenz
00:44
InterpretiererComputervirusVorlesung/Konferenz
00:48
TextbausteinVorlesung/Konferenz
00:59
VariableAdditionDerivation <Algebra>ComputervirusInklusion <Mathematik>Zeichenkette
01:02
ZeichenketteVariableInklusion <Mathematik>Derivation <Algebra>
01:05
Derivation <Algebra>ZeichenketteVariableProjektive Ebene
01:10
ComputervirusBinder <Informatik>InterpretiererVorlesung/Konferenz
01:15
ComputervirusBinder <Informatik>InterpretiererVorlesung/Konferenz
01:17
AppletSkriptspracheFormale SpracheFormation <Mathematik>Vorlesung/Konferenz
01:29
Lokales MinimumVorlesung/Konferenz
Transkript: Englisch(automatisch erzeugt)
00:00
Hey, I'm Lasilus, I'm talking to you about Nix writers. They are basically like, have you ever used, like, write script in Nix OS? And Nix writers are basically the same thought, like, put through, like, write every language you like, not just batch scripts. So, for example, one can write C like this,
00:23
put it inside the Nix REPL, build it, whoops. Yeah, first off, of course, we have to import it. And then we have to paste it again, because Nix REPL does some crazy stuff with new lines in history. And then we have, like, this derivation here,
00:42
and we can see it's a binary, and we can just run it, and hello world comes out. And also, it's the same for Haskell, like, people sometimes want to write Haskell, and there's a lot of boilerplate you have to write, but with Nix writers, it's basically just these couple of lines, build them, whoops.
01:07
What project, huh? Okay, and then you can just run it, yeah. There are also, like, other languages available,
01:21
like, these are which we have already packaged, and yeah, I guess the thought is clear, you can see the implementation, it's like here on this side, there's also some documentation about it, minimal. And I guess that's it, any questions? Yeah, that was the thought of it,
01:52
I wanted to clean it up, and then I make a pull request, and then if somebody merges it, it's in Nix packages, I guess.
02:02
Okay.