no longer on github no-longer-on-githu-b
no-longer-on-githu-b
/ gist:ef015895512309ceac4b
Created
February 28, 2015 16:30
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def abs(x: Number)(ensure out >= 0): Real = | |
| x | |
| |> non-zero-parts() | |
| |> map(fn(x) => x ^ 2) | |
| |> sum() | |
| |> sqrt() | |
| specialize def abs(x: Real): Real = | |
| if x < 0 { -x } else { x } |
no-longer-on-githu-b
/ gist:dc27c027d54954b1e0b5
Created
February 28, 2015 16:30
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def abs(x: Number)(ensure out >= 0): Real = | |
| x | |
| |> non-zero-parts() | |
| |> map(fn(x) => x ^ 2) | |
| |> sum() | |
| |> sqrt() | |
| specialize def abs(x: Real): Real = | |
| if x < 0 { -x } else { x } |
no-longer-on-githu-b
/ gist:7d1de64e8f344434e3df
Created
February 23, 2015 21:34
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| print "gist not found"; |
no-longer-on-githu-b
/ gist:d7ae87b4ce98766e1fbf
Created
February 20, 2015 10:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $1 == "File" && $2 ~ /helloworld\// { | |
| print "\033[1;33m" $0 "\033[0m"; | |
| next; | |
| } | |
| { print } |
no-longer-on-githu-b
/ gist:9f339e4de3df5378f394
Created
February 19, 2015 14:08
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| print $!{$!}; |
no-longer-on-githu-b
/ gist:e1d8079e6b1b09d5e103
Created
February 15, 2015 00:06
Optimal struct layout calculator.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include <algorithm> | |
| #include <cstddef> | |
| #include <cmath> | |
| #include <iostream> | |
| #include <unordered_set> | |
| #include <vector> | |
| struct field { | |
| std::size_t size; | |
| std::size_t alignment; |
no-longer-on-githu-b
/ createUser.scala
Last active
August 29, 2015 14:05
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import invalid._ | |
| sealed abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String) = | |
| validate( | |
| firstName.isEmpty -> FirstNameEmpty, | |
| lastName.isEmpty -> LastNameEmpty |
no-longer-on-githu-b
/ gist:94d8029fb8c9485eb028
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |
no-longer-on-githu-b
/ gist:ce1ae7ee6c221a0ef9a8
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |
no-longer-on-githu-b
/ gist:f6ff16d1c741fa3bae30
Created
August 8, 2014 11:04
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| def saveUser(ds: DataSource)(user: User): UserID = { | |
| // blabla | |
| } | |
| abstract class UserValidationError | |
| case object FirstNameEmpty extends UserValidationError | |
| case object LastNameEmpty extends UserValidationError | |
| def createUser(saveUser: User => UserID)(firstName: String, lastName: String): ValidationNel[UserValidationError, UserID] = { | |
| def validateFirstName(name: String) = if (name.isEmpty) FirstNameEmpty.fail else name.success |