oysteikt/nani.wtf
oysteikt
/
nani.wtf
1
0
Fork 0
Code Issues Pull Requests Activity

Add some more links to post

This commit is contained in:
Oystein Kristoffer Tveit 2022-10-16 06:46:47 +02:00
parent c7a77e63ff
commit e9bb947344
Signed by: oysteikt
GPG Key ID: 9F2F7D8250F35146
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/posts/2022-10-16-the-arrow-operator.md
View File

@ -1,11 +1,11 @@
---
title: "The nix arrow operator"
keywords: nix, language, programming-language
keywords: nix, short, language, programming-language
image: './images/nix_banner.png'
series: "Nix shorts"
---
There is a specal operator in nix, written as `->`. It is not a c dereference struct pointer operator, nor is it a haskell function type definition. It is a boolean operator, which represents the "implies arrow" from [propositional logic][prop-log]. This is especially useful in nix, because of its usage in modules.
There is a specal operator in nix, written as `->`. It is not a [C dereference struct pointer operator][c-deref-struct], nor is it a [haskell function type definition][haskell-function]. It is a boolean operator, which represents the "implies arrow" from [propositional logic][prop-log]. This is especially useful in nix, because of its usage in modules.
## The `myService` module
@ -53,4 +53,6 @@ in {
}
```
[c-deref-struct]: https://www.digitalocean.com/community/tutorials/arrow-operator-c-plus-plus
[haskell-function]: http://learnyouahaskell.com/functors-applicative-functors-and-monoids
[prop-log]: https://iep.utm.edu/prop-log/