sjsyrek

Here's the unusually long linkography from the Zoom chat during World Building in Haskell with Tom Harding:

Perlin noise youtube playlist: https://www.youtube.com/playlist?list=PLRqwX-V7Uu6bgPNQAdxQZpJuJCjeOr7VD

Tom's repo: https://github.com/i-am-tom/world-building-in-haskell/blob/7c75b3711c021bf32f2c4c521accf03a32c7597d/src/Data/Vect.hs

The inventor of Liquid Haskell Ranjit Jhala is funny: https://www.youtube.com/watch?v=Ci48kqp11F8

Fun Prolog stuff, totally off-topic: https://arxiv.org/abs/1809.02840

adamgundry

{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

kcsongor

{-# LANGUAGE DataKinds            #-}
{-# LANGUAGE PolyKinds            #-}
{-# LANGUAGE TypeFamilies         #-}
{-# LANGUAGE TypeOperators        #-}
{-# LANGUAGE UndecidableInstances #-}

-- (some examples at the bottom)

import Data.Kind (Constraint, Type)
import GHC.TypeLits (Nat, type (+), type (*))

natefaubion

module Grammar where

import Prelude

import Control.Applicative.Free (FreeAp, liftFreeAp, foldFreeAp)
import Control.Alt (class Alt, (<|>))
import Control.Alternative (class Alternative)
import Control.Monad.Eff (Eff)
import Control.Monad.Eff.Console (log, CONSOLE)
import Control.Plus (class Plus, empty)