Dierk’s gists

Dierk / RNG.java

Last active March 22, 2016 22:36

adding numbers one to ten can easily lead to random results when done in parallel

	import java.util.Optional;
	import java.util.concurrent.atomic.AtomicInteger;
	import java.util.function.Supplier;
	import java.util.stream.Stream;

	public class RNG {
	static Supplier<Integer> countGen(AtomicInteger i) {
	return (()-> i.getAndIncrement());
	}

Dierk / Iterate.groovy

Created April 22, 2016 15:12


	// Haskell-style iterate function in Groovy

	Closure iterate(def value, Closure nextValue) {
	return { value = nextValue value }
	}


	// use for iteration
	def iter = iterate(0) { it + 1}

Dierk / Main.purs

Created November 14, 2016 20:11

Monoidal Fizzbuzz in Purescript

	module Main where

	import Control.Monad.Eff.Console (log)
	import Data.List.Lazy (take, zipWith, fromFoldable, cycle, iterate, foldr)
	import Data.Monoid (mempty, (<>))
	import Data.Maybe (Maybe(..), fromMaybe)

	import Prelude ( show, map, ($), (+))

	main = do

Dierk / Counter.purs

Last active November 26, 2016 13:14

A graphical multiplication table written in PureScript/Pux, try at https://dierk.github.io/tryPux/beautifulMath/index.html

	module App.Counter where

	import Prelude (($), (+), (-), (*), (/), (>), const, show)
	import Data.Array ((..), (:), mapWithIndex)
	import Data.Int (toNumber, floor)
	import Math (sin, cos, pi )
	import Pux.Html (Html, div, span, button, text, canvas, svg, circle, line )
	import Pux.Html.Attributes (width, height, viewBox, cx, cy, r, fill, x1, y1, x2, y2, stroke, strokeWidth)
	import Pux.Html.Events (onClick)

Dierk / Counter.elm

Last active December 1, 2016 09:31

A graphical multiplication table written in elm (see Counter.purs for the same in purescript). Live: https://dierk.github.io/tryPux/beautifulMathInElm/index.html

	import Html exposing (Html, button, div, text)
	import Html.App as App
	import Html.Events exposing (onClick)
	import Svg exposing (svg, circle, line)
	import Svg.Attributes exposing (..)
	import List exposing (map, (::))


	main =
	App.beginnerProgram { model = state, view = view, update = update }

Dierk / Counter.tsx

Last active December 3, 2016 18:57

A graphical multiplication table in Typescript/React. See live at https://dierk.github.io/tryPux/beautifulMathInTS/index.html

	import * as React from "react";

	export interface HelloProps { compiler: string; framework: string; }
	export interface HelloState { slices: number; table: number }

	export class Hello extends React.Component<HelloProps, HelloState> {

	constructor(props: HelloProps) {
	super(props);
	this.state = { slices:10, table:2 }

Dierk / Ants.fr

Created December 8, 2016 15:47

AntHill simulation using Frege STM

	module Ants where

	import STM

	import Control.Concurrent (forkIO, forkOS)

	import Data.List (!!, nub, sortBy)

	import System.Random

Dierk / MultipleButtonsDemo.groovy

Created January 1, 2017 20:02

GroovyFX: factory methods for a composite view

	import static groovyx.javafx.GroovyFX.start

	/**
	Demo of using methods to create multiple nodes (here Buttons) as a composite view and use those
	factory methods multiple times.
	@author Dierk Koenig
	*/

	start {
	sgb = delegate

Dierk / Either.groovy

Created January 20, 2017 09:41

Either type in Groovy as a special implementation of the generic sum type (works the same in Java)

	// Either type in Groovy as a special implementation of the generic sum type
	// see: Phil Wadler at LambdaWorld 2016: youtu.be/V10hzjgoklA


	import java.util.function.*
	import groovy.transform.*

	interface Either<A,B> {
	public <C> C match (Function <A,C> leftCase, Function <B,C> rightCase)
	}

Dierk / FizzBuzz.idr

Created September 11, 2017 19:14

	module FizzBuzz

	import Data.Vect

	Rule : Type
	Rule = (n: Int) -> (old: List String) -> (List String)

	everyNthRule : (every: Int) -> (replacement: String) -> Rule
	everyNthRule every replacement n old =
	if (mod n every == 0) then old ++ [replacement] else old

Dierk König Dierk