Michael Anderson nomicflux

nomicflux / InterfaceOverload.java

Last active June 7, 2019 18:18

	import java.util.Arrays;

	public class InterfaceOverload {
	private interface I<X, IWitness extends I<?, IWitness>> { }
	private interface J<X, JWitness extends J<?, JWitness>> { }
	private interface K<X, KWitness extends K<?, KWitness>> { }
	private interface L<X, LWitness extends L<?, LWitness>> { }
	private interface M<X, MWitness extends M<?, MWitness>> { }
	private interface N<X, MWitness extends N<?, MWitness>> { }

nomicflux / NonTotalVerifiedComonad.idr

Last active August 26, 2017 15:03

	module NonTotalVerifiedComonad

	%default total

	interface Functor w => Comonad (w : Type -> Type) where
	extract : w a -> a

	extend : (w a -> b) -> w a -> w b
	extend f = map f . duplicate

nomicflux / fish-prompt.sh

Created February 23, 2017 17:03 — forked from gak/fish-prompt.sh

My custom fish prompt code explained at http://geraldkaszuba.com/tweaking-fish-shell/

nomicflux / NoLinebreaks.scala

Created February 8, 2017 17:00

	object NoLinebreaks extends RegexParsers {
	override def skipWhitespace = false
	def anyChar: Parser[String] = """.""".r
	def apply(input: String) = parse(anyChar, input)
	}

	\**
	* scala> NoLinebreaks("a")
	* res135: NoLinebreaks.ParseResult[String] = [1.2] parsed: a
	*

nomicflux / Queue.idr

Created December 14, 2016 19:18

	module Queue

	import Data.Vect as V

	%access export

	data Queue : Type -> Nat -> Nat -> Nat -> Type where
	mkQueue : (front : V.Vect n ty)
	-> (back : V.Vect m ty)
	-> Queue ty n m (n + m)

nomicflux / NoLambda.idr

Created December 9, 2016 16:15

	add : Int -> Int -> Int
	add x y = x + y

	doSomething : (Int -> Int -> Int) -> Int -> Int -> Int
	doSomething f x y = f x y

	doSomething add 1 2 -- Result: 3

nomicflux / DoorOpen-DoesntWork.idr

Created December 8, 2016 23:34

	module Main

	data DoorState = DoorClosed \| DoorOpen

	data DoorResult = OK \| Jammed

	doorResult : DoorResult -> DoorState
	doorResult = \res => case res of
	OK => DoorOpen
	Jammed => DoorClosed

nomicflux / DoorOpen-Works.idr

Last active December 9, 2016 16:23

	module Main

	data DoorState = DoorClosed \| DoorOpen

	data DoorResult = OK \| Jammed

	doorResult : DoorResult -> DoorState
	doorResult = \res => case res of
	OK => DoorOpen
	Jammed => DoorClosed

nomicflux / Elixir_OTP_Chap_9_error.txt

Created November 10, 2016 15:26

	2016-11-09 19:33:42 crash_report
	initial_call: {kernel_config,init,['Argument__1']}
	pid: <0.59.0>
	registered_name: []
	error_info: {exit,{mandatory_nodes_down,['b@MacBook-Air-2','c@MacBook-Air-2']},[{gen_server,init_it,6,[{file,"gen_server.erl"},{line,344}]},{proc_lib,init_p_do_apply,3,[{file,"proc_lib.erl"},{line,247}]}]}
	ancestors: [kernel_sup,<0.34.0>]
	messages: [{'EXIT',<0.60.0>,normal}]
	links: [<0.35.0>]
	dictionary: []
	trap_exit: true

nomicflux / pp-comonad.hs

Created November 1, 2016 01:50 — forked from jtobin/pp-comonad.hs

Probabilistic programming using comonads.

	{-# LANGUAGE BangPatterns #-}
	{-# LANGUAGE DeriveFunctor #-}
	{-# LANGUAGE LambdaCase #-}
	{-# LANGUAGE RankNTypes #-}
	{-# LANGUAGE RecordWildCards #-}

	import Control.Comonad
	import Control.Comonad.Cofree
	import Control.Monad
	import Control.Monad.ST