Skip to content

Instantly share code, notes, and snippets.

Nikos Baxevanis moodmosaic

Block or report user

Report or block moodmosaic

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@moodmosaic
moodmosaic / stack.yaml
Last active Nov 1, 2018
Semigroup Laws
View stack.yaml
resolver:
lts-11.22
extra-deps:
- hedgehog-0.6.1
@moodmosaic
moodmosaic / TH.hs
Last active Apr 30, 2018
Parametrised unit tests and Template Haskell
View TH.hs
{-# LANGUAGE TemplateHaskell #-}
module Discordia.TH where
import Language.Haskell.Extract (functionExtractorMap)
import Language.Haskell.TH
import Test.Framework (defaultMain)
import Test.HUnit (Test(..))
discover :: ExpQ
View SumProduct.hs
module SumProduct (
KnownColor (..)
, RGB (..)
, redColor
, magenta
, red
) where
View LightCheck.fs
// Port of Haskell
// - https://hackage.haskell.org/package/QuickCheck-1.2.0.1
// - https://hackage.haskell.org/package/random-1.1
namespace LightCheck
/// <summary>
/// This module deals with the common task of pseudo-random number generation.
/// It makes it possible to generate repeatable results, by starting with a
/// specified initial random number generator, or to get different results on
View Visual FSharp VS 2017 feedback.md

Things that could actually be improved

View Booking.cabal
name: Booking
version: 0.1.0.0
synopsis: Handling a reservation request in Haskell. Proof of concept
description: Please see README.md
homepage: https://gist.github.com/ploeh/c999e2ae2248bd44d775
license: MIT
license-file: LICENSE
author: Mark Seemann
maintainer: example@example.com
copyright: 2016 Mark Seemann
We couldn’t find that file to show.
@moodmosaic
moodmosaic / Main.hs
Created May 25, 2017
Servant example from "Write a client library for any web API in 5 minutes" https://haskell-servant.github.io/client-in-5-minutes.html
View Main.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -fno-warn-unused-imports #-}
import Control.Applicative
import Control.Monad
import Control.Monad.IO.Class
import Control.Monad.Trans.Except
import Data.Aeson
View Sort fsharpforfunandprofit.com
# Last checked
# $ date
# Mon Feb 27 23:59:15 EEST 2017
2017-02-17 https://fsharpforfunandprofit.com/cap/
2017-02-17 https://fsharpforfunandprofit.com/turtle/
2017-02-17 https://fsharpforfunandprofit.com/video/
2016-12-05 https://fsharpforfunandprofit.com/posts/dependency-injection-1
2016-08-01 https://fsharpforfunandprofit.com/installing-and-using/
2016-06-23 https://fsharpforfunandprofit.com/parser/
@moodmosaic
moodmosaic / gist:a1a4509f76f4f1d7a9b3e4149ce40ef4
Created Dec 7, 2016
Algebraic data types and mathematical reasoning
View gist:a1a4509f76f4f1d7a9b3e4149ce40ef4
Power of mathematics: Reasoning about functional types
http://tomasp.net/blog/types-and-math.aspx/
The algebra (and calculus!) of algebraic data types
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
Algebraic type sizes and domain modelling
https://fsharpforfunandprofit.com/posts/type-size-and-design/
You can’t perform that action at this time.