Skip to content

Instantly share code, notes, and snippets.

View made2591's full-sized avatar
🎯
Focusing

Matteo Madeddu made2591

🎯
Focusing
131 followers · 241 following
View GitHub Profile
@made2591
made2591 / monadic_string.go
Created February 9, 2020 15:08
...
func (l *Log) ToString() string {
return fmt.Sprintf("Res: %d, Ops: %s", l.Val, l.Op)
}
...
@made2591
made2591 / monadic_pipe.go
Created February 9, 2020 15:08
...
x := 0
fmt.Printf("%s\n", bind(bind(bind(unit(x), f1), f2), f3).ToString())
...
@made2591
made2591 / monadic_logs.go
Created February 9, 2020 15:07
...
// no more required and not repeated
log += log2 + "; "
log += log3 + "; "
...
@made2591
made2591 / monadic_bind.go
Created February 9, 2020 15:06
...
func bind(x *Log, f Increment) *Log {
val, op := f(x.Val)
return &Log{Val: val, Op: fmt.Sprintf("%s%s; ", x.Op, op)}
}
...
@made2591
made2591 / monadic_unit.go
Created February 9, 2020 15:06
...
func unit(x int) *Log {
return &Log{Val: x, Op: ""}
}
...
@made2591
made2591 / monadic_increment.go
Created February 9, 2020 15:05
...
type Increment func(y int) (int, string)
type Log struct {
Val int
Op string
}
...
@made2591
made2591 / monad_approach.go
Created February 9, 2020 15:05
...
func unit(x int) *Log {
return &Log{Val: x, Op: ""}
}
func bind(x *Log, f Increment) *Log {
@made2591
made2591 / monadic_example.go
Created February 9, 2020 15:04
...
x := 0
log := "Ops: "
res, log1 := f1(x)
log += log1 + "; "
res, log2 := f2(res)
log += log2 + "; "
@made2591
made2591 / monadic.go
Created February 9, 2020 15:02
...
func f1(x int) (int, string) {
return x + 1, fmt.Sprintf("%d+1", x)
}
func f2(x int) (int, string) {
@made2591
made2591 / mm.go
Created January 14, 2020 22:03
Monad in go
package main
import (
"fmt"
)
func f1(x int) (int, string) {
return x + 1, fmt.Sprintf("%d+1", x)