dmalikov

>> nix-shell -p myHaskellPackages.dotfiles
error: file `/home/yep/dmalikov/dotfiles/biegunka/.hdevtools.sock' has an unsupported type
(use `--show-trace' to show detailed location information)

dmalikov

$ [[ -n "$(echo "string with word word" | grep -o word))" ]] && echo contains
contains

$ [[ -n "$(echo "string without it" | grep -o word))" ]] && echo contains
contains

dmalikov

cabal.mkDerivation (self: {
  pname = "cabal2nix";
  version = "0.1";
  src = /home/yep/git/cabal2nix/;
  isLibrary = true;

$ nix-shell -p myHaskellPackages.cabal2nix
error: syntax error, unexpected ';', at /home/yep/.nixpkgs/cabal2nix/default.nix:14:32
(use `--show-trace' to show detailed location information)

dmalikov

• https://github.com/hypotext/software-foundations
• https://github.com/haklabbeograd/software-foundations-coq-workshop
• https://github.com/lkuper/software-foundations
• https://github.com/co-dan/software-foundations
• https://github.com/timjb/software-foundations
• https://github.com/Blaisorblade/Software-Foundations
• https://github.com/lunaryorn/exercises
• https://github.com/joshcough/software-foundations
• https://github.com/sfja/sfja (very weeabooful)
• https://github.com/edgemaster/software-foundations

dmalikov

Various blog posts related to Nix and NixOS

---

General

• https://nixos.org/wiki/Main_Page Nix wiki. Awesome resource containing huge amount of manuals and documentation with examples.
• http://aflatter.de/nixos/ Alexander Flatter - NixOS. Installing NixOS inside a VirtualBox with a real-world configuration.nix example.
• http://lethalman.blogspot.it/search/label/nixpills Luca Bruno - Nix Pills. Series of posts describing how to install nix into some environment and how to use it.
• http://looprecur.com/blog/from-ubuntu-to-nixos/ Tim Sears - From Ubuntu to NixOS. Talk about experience migrating from Ubuntu to NixOS.

dmalikov

module Eu where

import           Control.Applicative ((<$>))
import           Data.Function       (on)
import           Data.List           (groupBy, intercalate)
import           Data.List.Split     (splitOn)
import qualified Data.Map            as M
import           Data.Maybe          (mapMaybe)

main :: IO ()

dmalikov

$ powershell ./wut.ps1
String is null
String is null
String is empty

dmalikov

$ cat function.ps1
function f() {
    { param($x) "expected output" }.Invoke()
}

function g() {
    { param($x) "unexpected" }.Invoke()
    return "output"
}

dmalikov

PS C:\> { param($x) { param($y) $x + $y } }.Invoke(10).Invoke(20)
20
PS C:\> { param($x) { param($y) $x + $y }.GetNewClosure() }.Invoke(10).Invoke(20)
30

PS C:\> ({ param($x) { param($y) $y * $x } }.Invoke(10).Invoke(20)) -eq 0
True
PS C:\> ({ param($x) { param($y) $x * $y } }.Invoke(10).Invoke(20)) -eq $null
True

dmalikov

#!/usr/bin/perl
$_='
         $q ="\                   47"; wh
        ile                           ($ ;=
      $z                +=              .5 ){
    %c=           $r=0;$/ ="";whi         le(2
   0+          $z>($;+=.05)){$c{int$       _+ 2
  6+         2*($              r+= .0       2) *
 s          in$                   ;}{1       -$_
+1         0+           int        $r*c       o s