Skip to content

Instantly share code, notes, and snippets.

View DmytroMitin's full-sized avatar
😎
everything is ok

Dmytro Mitin DmytroMitin

😎
everything is ok
56 followers · 41 following
View GitHub Profile
@DmytroMitin
DmytroMitin / Tanks.java
Created July 23, 2015 12:11
/*
* Copyright (c) 2013 midgardabc.com
*/
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.util.Random;
import javax.swing.JFrame;
import javax.swing.JPanel;
@DmytroMitin
DmytroMitin / Birds.java
Last active August 29, 2015 14:25
public class Birds {
static int numberOfBirdTypes = 0;
static String[][] birds = new String[numberOfBirdTypes][4];
public static void main(String[] args) {
printBirdInfo(); // array is empty
addBirdType("Eagle"); // initializing
@DmytroMitin
DmytroMitin / Doubles.java
Last active August 29, 2015 14:27
http://ec2-52-27-141-35.us-west-2.compute.amazonaws.com/problem/55b5147a56481b5f1661d8ba https://leetcode.com/problems/valid-number/
public class Doubles {
public Double parse(String s) {
if (isNumber(s)) {
return Double.valueOf(s);
} else {
return null;
}
}
@DmytroMitin
DmytroMitin / Main.java
Created November 13, 2016 23:23
import java.util.Collection;
import java.util.Iterator;
public class Main {
interface A {}
class B {
void add(A... a) {}
void add(Collection<A> c) {}
@DmytroMitin
DmytroMitin / gist:5bf51a16d8c2b94cc3020c2fe8fad3e5
Created April 9, 2017 21:42
@ val Circle = "S" :: Type
Circle: Typ[Term] with Subs[Typ[Term]] = S : 𝒰 _0
@ val base = "base" :: Circle
base: Term with Subs[Term] = base : (S : 𝒰 _0)
@ val loop = "loop" :: (base =:= base)
loop: Term with Subs[Term] = loop : (base : (S : 𝒰 _0) = base : (S : 𝒰 _0))
@ val X = "X" :: Type
X: Typ[Term] with Subs[Typ[Term]] = X : 𝒰 _0
@ val a = "a" :: X
a: Term with Subs[Term] = a : (X : 𝒰 _0)
@DmytroMitin
DmytroMitin / gist:c75df4d66e280d792a72ab40b3890e16
Last active September 14, 2017 15:10
trait Search {
type T
}
trait WriterSearch extends Search {
override type T <: Writer
}
trait BookSearch extends Search {
override type T <: Book
@DmytroMitin
DmytroMitin / App.scala
Last active October 6, 2018 13:17
https://stackoverflow.com/questions/52660723/aux-pattern-with-inherited-types-fails-inference
object App {
trait Subtype[A, B] {
type C <: B
def apply(ev: A <:< B): (C =:= A, A =:= C)
}
object Subtype {
type Aux[A, B, C0 <: B] = Subtype[A, B] { type C = C0 }
def instance[A, B, C0 <: B](f: A <:< B => (C0 =:= A, A =:= C0)): Aux[A, B, C0] = new Subtype[A, B] {
override type C = C0
@DmytroMitin
DmytroMitin / App.scala
Last active December 13, 2020 16:10
Implicit object works and implicit val doesn't https://stackoverflow.com/questions/55548968/how-to-use-functors-with-scala-cats/55549231#comment97803502_55549231
import shapeless.{::, HNil, Poly1, poly}
object App {
implicit object p extends Poly1 {
implicit val cse: Case.Aux[Int, String] = at(_.toString)
}
// implicit val p = new Poly1 {
// implicit val cse: Case.Aux[Int, String] = at(_.toString)
// }
@DmytroMitin
DmytroMitin / App.scala
Last active December 13, 2020 16:10
Implicit val can't be annotated with any type so that the code compiles https://stackoverflow.com/questions/55548968/how-to-use-functors-with-scala-cats/55549231#comment97803502_55549231
object App {
trait MyTrait
object MyTrait {
def materialize[A <: MyTrait](implicit m: A): A = m
}
implicit val m/*: MyTrait*/ /*: (MyTrait {
/*implicit*/ val x: Int
})*/ = new MyTrait {
@DmytroMitin
DmytroMitin / App.scala
Last active September 13, 2019 10:22
import Macros._
object App {
class A
class A1
class A2
class A3
@checkImplicits
def foo(implicit a: A = new A, a1: A1 = new A1, a2: A2 = new A2, a3: A3 = new A3): Unit = ()