Avi Avni AviAvni

Various talks that I like and/or find inspiring

(in no particular order)

The art of destroying software by Greg Young
Propositions as Types by Philip Wadler
Constraints Liberate, Liberties Constrain by Rúnar Bjarnason
The Future of Programming by Bret Victor
Simple Made Easy by Rich Hickey
The Most Beautiful Program Ever Written by William Byrd

Applied Functional Programming with Scala - Notes

1. Mastering Functions

A function is a mapping from one set, called a domain, to another set, called the codomain. A function associates every element in the domain with exactly one element in the codomain. In Scala, both domain and codomain are types.

val square : Int => Int = x => x * x

These links no longer work. Springer have pulled the free plug.

Graduate texts in mathematics

duplicates = multiple editions

A Classical Introduction to Modern Number Theory, Kenneth Ireland Michael Rosen

	#I __SOURCE_DIRECTORY__
	#r @"bin/Debug/EvalWrapper.dll"

	open Microsoft.MSR.CNTK.Extensibility.Managed
	open System.Drawing
	open System.Collections.Generic
	open System

	let createModel modelPath =
	let model = new IEvaluateModelManagedF()

	<#
	var model = new Model ()
	{
	Namespace = "MyNameSpace" ,
	Unions = new []
	{
	U ( "CustomerKind"
	, UC ("Person" , F ("string", "FullName"), F ("string", "SocialNo" ), F ("DateTime", "BirthDate" ))
	, UC ("Company", F ("string", "Name" ), F ("string", "CompanyNo"), F ("string" , "TaxNo" ))
	),

	type Next<'T> =
	\| Done of 'T
	\| Jump of Trampoline<'T>
	and Trampoline<'T> = unit -> Next<'T>

	module Trampoline =
	let Return v : Trampoline<'T> =
	fun () ->
	Done v

	#time

	let inline sum list =
	match list with
	\| [] -> LanguagePrimitives.GenericZero< 'T >
	\| t ->
	let mutable acc = LanguagePrimitives.GenericZero< 'T >
	for x in t do
	acc <- Checked.(+) acc x
	acc

	/// <summary>
	/// Stops keystrokes on a WPF Window or Adornment from propagating to the Visual Studio code editor.
	///
	/// "The reason that keys like Backspace and Delete do not work in your WPF windows/Adornments is due to Visual Studio's usage of IOleComponentManager and IOleComponent.
	/// Visual Studio and WinForms both use IOleComponent as a way of tracking the active component in the application.
	///
	/// WPF does not implement IOleComponent or use the IOleComponentManager for its windows. This means that when your WPF window is active, Visual Studio doesn't know that its
	/// primary component should not be processing command keybindings. Since "Backspace", "Delete", and several other keys are bound to commands for the text editor,
	/// Visual Studio continues processing those keystrokes as command bindings."
	///

	namespace YourNamespaceHere
	open System
	open System.Diagnostics
	open System.Threading
	open System.Threading.Tasks

	/// The 'Sync' builder for evaluating expressions in a synchronous style to aid debugging.
	type [<Sealed>] Sync () =
	member inline this.Bind (x, f) = f x
	member inline this.Return x = x

	{-# LANGUAGE DeriveDataTypeable, GeneralizedNewtypeDeriving, TemplateHaskell, FlexibleInstances #-}
	{-# OPTIONS_GHC -Wall -fno-warn-missing-signatures #-}
	module QQAST where

	import Control.Applicative
	import Control.Exception
	import Control.Monad.State
	import Data.Data (Data)
	import Data.Generics (extQ)
	import Data.IORef