Remy Goldschmidt 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

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.

Ideas to improve my workflow

Easy

`diff-factor-comments`

A script that automatically separates a Haskell file diff into two diffs: one with only changes to comments, and one with changes to actual code.

Could be extended to other languages, as long as you can describe what the

Nix Flake MVP

Goals

To provide Nix repositories with an easy and standard way to reference other Nix repositories.
To allow such references to be queried and updated automatically.
To provide a replacement for nix-channel, NIX_PATH and Hydra

	;; brittany-hs.el --- Minor mode to format JS code on file save

	;; Version: 0.1.0

	;; Copyright (c) 2014 The go-mode Authors. All rights reserved.
	;; Portions Copyright (c) 2015-present, Facebook, Inc. All rights reserved.

	;; Redistribution and use in source and binary forms, with or without
	;; modification, are permitted provided that the following conditions are
	;; met:

	{-\|
	- Example of using free constructions to build a flexible little compiler.
	-
	- The goal here is not necessarily efficiency but readability and flexibility.
	-
	- The language grammar is represented by an ADT; however, instead of
	- recursively referring to itself it instead references a type variable.
	-
	- We derive instances of 'Functor' and 'Traversable' for this type.
	-

	{-# LANGUAGE DeriveGeneric #-}
	{-# LANGUAGE NoImplicitPrelude #-}
	{-# LANGUAGE OverloadedStrings #-}
	{-# LANGUAGE TypeOperators #-}

	module Main where

	import Protolude hiding ((:*:), optional)

	import Database.Selda

	{-# language TypeInType, QuantifiedConstraints, ConstraintKinds, RankNTypes, UndecidableInstances, MultiParamTypeClasses, TypeFamilies, KindSignatures #-}

	module QC where

	import Data.Constraint
	import Data.Functor.Contravariant
	import Data.Kind
	import Data.Profunctor

	type C = (Type -> Type) -> (Type -> Type -> Type) -> Constraint

	{-# LANGUAGE RankNTypes #-}
	import qualified Data.IntMap as M
	import Control.Monad.Trans.Free
	import Control.Monad.Trans

	{-
	The phantom parameter s protects labels from escaping an invocation of runGotoT.
	For example, this program:
	invalid = runGotoT label >>= runGotoT . goto
	is rejected at compile time with this version, but crashes

	# use ImageMagick convert
	# the order is important. the density argument applies to input.pdf and resize and rotate to output.pdf
	convert -density 90 input.pdf -rotate 0.5 -attenuate 0.2 +noise Multiplicative -colorspace Gray output.pdf