danidiaz

{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE ImportQualifiedPost #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NumDecimals #-}

module Main where

import Control.Concurrent
import Control.Concurrent.Async
import Control.Concurrent.MVar

danidiaz

conflictos modify/delete

Ejecutar este script en Git Bash crea un repositorio y lo deja en un estado de conflicto de merge:

mkdir conflicto.01
cd conflicto.01
git init --initial-branch=master
echo "zzz" > foo.txt
printf "aaa\nbbb\nccc" > bar.txt
git add .

danidiaz

Las muchas caras de git checkout

Es bien sabido que la interfaz de línea de comandos de Git es confusa. Por ejemplo,git checkout tiene distintos comportamientos no demasiado relacionados entre sí.

El primero es cambiar a una rama ya existente:

git checkout mirama

También podemos crear una nueva rama local y cambiarnos a ella:

danidiaz

{-# LANGUAGE ViewPatterns #-}

module Main where

import Data.Char
import qualified Data.List
import Data.Text

data SplitState
  = BreakingOnSpace

danidiaz

This is an example of how using "fix" and open recursion lets us instrument
functions in a way reminiscent of aspect-oriented programming.

We are going to take an evaluator function for a simple expression language,
and augument it with an interactive debugger. 

But first, the unavoidable dance of extensions and imports:

> {-# LANGUAGE ScopedTypeVariables #-}
> {-# LANGUAGE MultiWayIf #-}

danidiaz

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}

danidiaz

stuff I had to install

npm install webpack webpack-cli --save-dev

npm install --save-dev file-loader

npm install --save-dev typescript ts-loader

to build

danidiaz

{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ViewPatterns #-}

danidiaz

-- see also https://stackoverflow.com/questions/61079836/why-isnt-the-constraint-trick-working-in-this-manually-defined-hasfield-insta
{-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE Rank2Types #-} -- for Into, otherwise unnecessary
{-# LANGUAGE StandaloneKindSignatures #-}
module Main where
import Control.Lens

danidiaz

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PartialTypeSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -Wno-partial-type-signatures #-}