frasertweedale

Conferences/events

• YOW Lambda Jam
  • 21..23 May, Sydney
  • CFP: http://lambdajam.yowconference.com.au/call-for-presentations/ (closes 18 March)
  • Keynotes/invited speakers: Eugenia Cheng, Ryan Trinkle, Ed Kmett
• linux.conf.au Real World FP Miniconf

frasertweedale

Conferences/events

• YOW! Night Tues April 17
  • Linda McIver (Australian Data Science Education Institute)

frasertweedale

#include <stdio.h>
#include <stdlib.h>
#include <ldap.h>

int main(int argc, char **argv) {
    if (argc < 2) {
        printf("Usage!\n");
        exit(1);
    }

frasertweedale

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}

module Poly where

data Mode = Mode1 | Mode2

data Action ctx a = Action

-- | Coerce the phantoms (poly-kinded)

frasertweedale

What does GitHub ReST renderer support?

Monospace
text
block.

frasertweedale

{-|

This module provides types for clamping data in a given range or
interval.

-}

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}

frasertweedale

Releases

• GHC 8.6.1 released
  • https://downloads.haskell.org/~ghc/8.6.1/docs/html/users_guide/8.6.1-notes.html
  • Interesting changes:
    • valid hole fits
    • GHCi :doc command

frasertweedale

Conferences

• YOW! Lambda Jam
  • Melbourne, 13..15 May 2019
  • CFP open; closes March 22
  • https://lambdajam.yowconference.com.au/call-for-presentations/
• LambdaConf

frasertweedale

module Example where

import Data.Map
import Data.Validation
import Data.List.NonEmpty (NonEmpty((:|)))

-- | Merge maps rejecting duplicate keys, which are collected in the 'Failure' value
--
-- >>> awsm (fromList [('a', 1)]) (fromList [('b', 2)])
-- Success (fromList [('a',1),('b',2)])

frasertweedale

{-# LANGUAGE OverloadedStrings #-}

import Control.Applicative
import Data.Char (isAlpha)

import Data.Attoparsec.ByteString.Char8

data Expr = Mul Expr Expr | Add Expr Expr | Lit Char | Var Char deriving Show

expr = (add <|> mul <|> (Var <$> satisfy isAlpha) <|> (Lit <$> satisfy isDigit)) <* endOfInput