Teiva Harsanyi teivah

## applicativeEx.hs
applicativeEx :: Maybe Int
applicativeEx = Just (+ 1) <*> Just 42 -- Just 43

## applicativeEx.hs
applicativeEx :: Maybe Int
applicativeEx = Just (+ 1) <*> Just 42 -- Just 43

## fmap.hs
fmapEx :: [Int] -- A function returning a list
fmapEx = fmap (+ 1) [1, 2, 3] -- [2, 3, 4]

## fmap.hs
fmapEx :: Maybe Int
fmapEx = fmap (Just (+ 1)) (Just 42) -- Does not compile

## fmap.hs
fmapEx :: Maybe Int
fmapEx = fmap (+ 1) Nothing -- Nothing

## fmap.hs
fmapEx :: Maybe Int -- A function returning a Maybe Int
fmapEx = fmap (+ 1) (Just 42) -- Nothing

## clean_map.go
package main

import (
	"fmt"
	"runtime"
)

func main() {
	// Init
	n := 1_000_000

## lost-update.csv

          
            t1
            t2

            
              Read InventorySize (100)

            
              
              Read InventorySize (100)

            
              Set InventorySize to 100 + 5 = 105

            
              
              Set InventorySize to 100 + 10 = 110

            
              Commit

            
              
              Commit

## repeatable-read.csv

          
            t1
            t2

            
              Read A

            
              
              Set A=1

            
              
              Commit

            
              ...

            
              Read A

## dirty-read.csv

          
            t1
            t2

            
              Set A=0

            
              
              Delete rows where A=0

            
              Rollback

            
              
              Commit
	applicativeEx :: Maybe Int
	applicativeEx = Just (+ 1) <*> Just 42 -- Just 43
	fmapEx :: [Int] -- A function returning a list
	fmapEx = fmap (+ 1) [1, 2, 3] -- [2, 3, 4]
	fmapEx :: Maybe Int
	fmapEx = fmap (Just (+ 1)) (Just 42) -- Does not compile
	fmapEx :: Maybe Int -- A function returning a Maybe Int
	fmapEx = fmap (+ 1) (Just 42) -- Nothing
	package main

	import (
	"fmt"
	"runtime"
	)

	func main() {
	// Init
	n := 1_000_000
	t1	t2
	Read InventorySize (100)
		Read InventorySize (100)
	Set InventorySize to 100 + 5 = 105
		Set InventorySize to 100 + 10 = 110
	Commit
		Commit