Skip to content

Instantly share code, notes, and snippets.

View igstan's full-sized avatar

Ionuț G. Stan igstan

186 followers · 489 following
View GitHub Profile
@igstan
igstan / set.sml
Created April 8, 2017 03:06
http://igstan.ro/posts/2017-04-08-a-safe-type-indexed-set-for-standard-ml.html
signature TAGGED_ORD =
sig
type t
type a
val wrap : int -> t
val compare : t * t -> order
val asRecord : { wrap : a -> t, compare : t * t -> order }
end
@igstan
igstan / mixin.sml
Last active October 1, 2016 19:35
functor Member(Flag : sig type t end) =
struct
(* Define types and values common to both MemberA and MemberB. *)
end
(*
* MemberA and MemberB differ only in the declaration of Flag, the rest of
* the types and values are the same and come from the Member functor.
*)
structure MemberA =
@igstan
igstan / comma.js
Created August 29, 2016 09:56
function required(name) {
return process.env[name] || (
console.error('Missing required environment variable:', name), // <-- this
process.exit(1)
);
}
@igstan
igstan / nth.hs
Created March 4, 2016 10:03
nth :: Int -> [a] -> a
nth n xs =
let
f acc 0 = acc
f acc n = acc . tail
in
head $ foldl f id [0..n] xs
@igstan
igstan / visitor.py
Last active November 20, 2015 09:36 — forked from danoneata/visitor.py
Visitor pattern in Python
class Expr(object):
def accept(self, visitor):
method_name = 'visit_{}'.format(self.__class__.__name__.lower())
visit = getattr(visitor, method_name)
return visit(self)
class Int(Expr):
def __init__(self, value):
self.value = value
@igstan
igstan / hello.scala
Created November 11, 2015 09:01
import com.twitter.finagle.Http
import com.twitter.util.Await
import io.finch._
import io.finch.response.EncodeResponse.encodeString
import io.finch.circe._
object Main {
val hello: Endpoint[String] =
get("hello") {
@igstan
igstan / linker-type-safety.md
Last active May 13, 2020 12:05
@igstan
igstan / play-json.scala
Last active August 29, 2015 14:21
object Main {
// libraryDependencies += "com.typesafe.play" %% "play-json" % "2.3.9"
import play.api.libs.json._
// Domain objects
sealed trait RankedContent
case class Tweet(tweet: Int) extends RankedContent
case class Link(link: Int) extends RankedContent
case class Response(rank: Int, tag: String, rankedcontent: List[RankedContent])
@igstan
igstan / Chain.java
Last active August 29, 2015 14:21
import java.util.Optional;
import java.util.function.Function;
public class Chain {
public static interface Function2<A,B,R> {
public R apply(A a, B b);
}
public static interface Function3<A,B,C,R> {
public R apply(A a, B b, C c);
@igstan
igstan / reporting.scala
Last active August 29, 2015 14:14
/*
* Assume you have a bunch of methods that return `Option` and you want to
* produce very precise output about which of those methods returned a `None`
* in case of "failure".
*
* There are a few strategies to doing that. Here are three of them:
*/
object Main {
def foo: Option[String] = Some("foo")
def bar(x: String): Option[String] = None