taktoa

Things to keep in mind

• If you write a server using raw UDP, the size of a packet returned as a result of a packet received must be strictly smaller than the size of the packet received, to prevent DoS amplification attacks.

taktoa

I started writing this polemic to answer your question, but I ended up touching on most of my gripes with Haskell in general, not just in a corporate context.

GHC

GHC is a modern compiler with an amazing RTS and tons of features, but I have some issues with it.

Monolithic and Hard to Contribute To

taktoa

--------------------------------------------------------------------------------

{-# LANGUAGE ConstraintKinds            #-}
{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE FlexibleContexts           #-}
{-# LANGUAGE FlexibleInstances          #-}
{-# LANGUAGE GADTs                      #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE KindSignatures             #-}

taktoa

module KindOfGenerativeModuleFunctors where
  ------------------------------------------------------------------------------

  open import Data.Product                          using (_×_; _,_)
  open import Data.Nat                              using (ℕ)
  open import Data.Bool                             using (Bool; false; true)
  open import Relation.Binary.PropositionalEquality using (_≡_; _≢_; refl)

  ------------------------------------------------------------------------------

taktoa

# Add this file to your /etc/nixos/configuration.nix `imports = [ ... ];` attribute.
#
# After running `nixos-rebuild switch`, `systemctl --user start keybase-gui.service`
# can be used to start the Keybase GUI.
#
# Not sure if it's just my tiling window manager, but there is a bit of wonkiness
# with the tray icon. Other than that it works perfectly (as of 2017/11/22).

{ pkgs, ... }:

taktoa

- extensions:
    - default: true

    # These are basically non-negotiable
    - {name: AllowAmbiguousTypes,      within: []} # should never be necessary
    - {name: Arrows,                   within: []} # weird syntax
    - {name: DatatypeContexts,         within: []} # useless
    - {name: EmptyCase,                within: []} # nearly useless
    - {name: ImpredicativeTypes,       within: []} # very buggy
    - {name: IncoherentInstances,      within: []} # footgun

taktoa

% in the preamble:

\usepackage{ocgx}

% in the document:

\switchocg{ocgPlus ocgMinus ocg1}{%
  \begin{ocg}{plus}{ocgPlus}{1}
    {\bfseries +}
  \end{ocg}

taktoa

{ pkgs }:

{
  services.windowManager.xmonad = {
    enable = true;
    haskellPackages = pkgs.haskellPackages.override {
      overrides = self: super: {
        # /path/to/mrkgnaow-xmonad is a path that contains `mrkgnaow-xmonad.cabal`
        # you can also put an invocation of `fetchgit` or `fetchFromGitHub` there.
        mrkgnaow-xmonad = self.callCabal2nix "mrkgnaow-xmonad" /path/to/mrkgnaow-xmonad {};

taktoa

{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE OverloadedStrings         #-}
{-# LANGUAGE PackageImports            #-}
{-# LANGUAGE RankNTypes                #-}
{-# LANGUAGE TemplateHaskell           #-}
{-# LANGUAGE TypeApplications          #-}

module Main where

import           Numeric                      (showHex)

taktoa

Online things

• Package search (for stable channel)
• Options search (for stable channel)
• A list of channels, and when they were last updated
• A timeline of channel builds
• A source code search (that actually works!) of all NixOS repositories; Nix, nixpkgs, etc.

Development tooling