Yisrael Union yisraelU

Reasoning formally about data compatibility

Data compatibility in distributed systems is a problem that is often adressed in ad-hoc manners and suffer from bikeshedding. Developing a formal framework for reasoning about it is crucial to ensure a seamless evolution of complex systems and easy inter-connectivity of components.

Disclaimer

This gist talks specifically about backward compatibility rules. Intuitively, forward compatibility rules are the opposite of backward ones.

Defining the problem

Title

<Additional information about your API call. Try to use verbs that match both request type (fetching vs modifying) and plurality (one vs multiple).>

URL

<The URL Structure (path only, no root url)>
Method:

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

Refactoring Booleans to Functions

Boolean parameters are a plague, responsible for non-composable, monolithic functions that never quite do enough, and countless programming bugs:

"Oops, meant to pass that as the 2nd boolean flag, not the 1st!"
"Oops, accidentally inverted the meaning of that boolean in the implementation!"
"Oops, the function isn't flexible enough for my use case, let's add a 6th boolean flag!"
"Oops, got the meaning of that boolean flag wrong, time to dig into the source code!"

All boolean parameters should be refactored into functions that effect the change otherwise encoded in the parameter.

Countdown. REVISED EDITION!!!!

This is a fork of ruleb's count down that rended one of the else ifs unreachable in his code. Even though he was notified by menny people he never fixed his code so i took it on to... fix 1 line of code. This Fork may expand if i have the time to re-learn coffie and see if any outher code is broken.

The rest of this readme and the html code and scss is still the orginal by ruleb.

Description

Simple Dashing widget to countdown until a certain moment. Flashes the widget when finished.

	write-Host "*****Decrapifying Windows 10...*****"
	write-Host "*Removing App Packages...*"

	#I recommend running this script on a fresh install, though it should work fine anyways. Should ;)
	#This part removes all the apps. By default, it removes every except the calculator and the store. To remove all apps, comment out this part...


	Get-AppxPackage -AllUsers \| where-object {$_.name -notlike "Microsoft.WindowsStore"} \| where-object {$_.name -notlike "Microsoft.WindowsCalculator"} \| Remove-AppxPackage

	Get-AppxProvisionedPackage -online \| where-object {$_.packagename -notlike "Microsoft.WindowsStore"} \| where-object {$_.packagename -notlike "Microsoft.WindowsCalculator"} \| Remove-AppxProvisionedPackage -online

	import shapeless._
	import ops.hlist.Tupler

	trait TupleGeneric[C <: Product] extends Serializable {
	type Repr <: Product

	def to(t : C) : Repr

	def from(r : Repr) : C
	}