Skip to content

Instantly share code, notes, and snippets.

View bishabosha's full-sized avatar

Jamie Thompson bishabosha

118 followers · 65 following
View GitHub Profile
@bishabosha
bishabosha / IntelliJJDK9BuildError.txt
Created February 9, 2017 14:51
IntelliJ error
Error:Abnormal build process termination:
/Library/Java/JavaVirtualMachines/jdk-9.jdk/Contents/Home/bin/java -Xmx700m -Djava.awt.headless=true -Djdt.compiler.useSingleThread=true -Dcompile.parallel=false -Drebuild.on.dependency.change=true -Djava.net.preferIPv4Stack=true -Dio.netty.initialSeedUniquifier=3593707791657959617 -Dfile.encoding=UTF-8 -Djps.file.types.component.name=FileTypeManager -Duser.language=en -Duser.country=GB -Didea.paths.selector=IntelliJIdea2016.3 "-Didea.home.path=/Applications/IntelliJ IDEA.app/Contents" -Didea.config.path=/Users/Jamie/Library/Preferences/IntelliJIdea2016.3 "-Didea.plugins.path=/Users/Jamie/Library/Application Support/IntelliJIdea2016.3" -Djps.log.dir=/Users/Jamie/Library/Logs/IntelliJIdea2016.3/build-log "-Djps.fallback.jdk.home=/Applications/IntelliJ IDEA.app/Contents/jdk/Contents/Home/jre" -Djps.fallback.jdk.version=1.8.0_112-release -Djava.io.tmpdir=/Users/Jamie/Library/Caches/IntelliJIdea2016.3/compile-server/_temp_ -Dkotlin.incremental.compilation.experimental=tr
@bishabosha
bishabosha / prettyPrint.scala
Last active April 16, 2019 23:49
Dotty tail recursive object pretty print - naive indentation
type StackT = List[String]
type StatT = StackT => StackT
type ProgT = List[StatT]
def prettyPrint(
a: Any,
indentSize: Int = 2,
maxElementWidth: Int = 60,
depth: Int = 0): String = {
@bishabosha
bishabosha / migrating-package-objects-with-extends.md
Created January 23, 2020 13:40
Migrating package objects with extends clauses

Here is a trait in package p

package p
trait Aliases { type Env = A with B }

In Scala 2, you could do this:

package object p extends Aliases
@bishabosha
bishabosha / OpaqueTypeEntities.worksheet.sc
Created March 10, 2021 14:40
Demonstrate using Opaque Type Aliases as evidence parameters to abstract over different storage
object Notarisation:
private case object Proven
opaque type Proof <: Singleton = Proven.type
given Proof = Proven
end Notarisation
import Notarisation.Proof
@bishabosha
bishabosha / summon-semigroup-Maybe.scala
Created November 15, 2021 15:20
Summon a Semigroup for Maybe, defined as an enum
// using scala 3.1.0
// using lib org.typelevel::cats-core:2.6.1
package good
import cats.Semigroup
import cats.syntax.all.*
enum Maybe[+A]:
case Just(a: A)
@bishabosha
bishabosha / summon-semigroup-maybe-oldway.scala
Created November 15, 2021 16:00
demonstration that the cats style of type class definition and syntax does not play well with type inference
// using scala 3.1.0
package mycats:
trait Semigroup[A]:
def combine(a1: A, a2: A): A
class SemigroupOps[A](a1: A)(implicit ev: Semigroup[A]):
def combine(a2: A): A = ev.combine(a1, a2)
@bishabosha
bishabosha / bishabosha-setup-scala-channel.json
Last active May 5, 2022 19:46
Coursier Channel for Setting up Scala
{
"coursier": {
"repositories": [
"central"
],
"dependencies": [
"io.get-coursier::coursier-cli:2.1.0-M2"
]
},
"scala-cli" : {
@bishabosha
bishabosha / aoc-2021-day22.scala
Last active July 12, 2022 10:49
Advent of Code 2021 Day 22 Neal Wu solution
// using scala 3.0.2
package day22
import scala.util.Using
import scala.io.Source
import scala.collection.mutable
@bishabosha
bishabosha / aoc-2021-day22-opt.scala
Created December 27, 2021 12:17
Scala Native Optimised Advent of Code 2022 Neal Wu Solution
// using scala 3.0.2
package day22Wu
import scala.util.Using
import scala.io.Source
import scala.collection.mutable
@bishabosha
bishabosha / tastyUtils.scala
Last active January 19, 2024 16:43
get version of any TASTy file
//> using dep io.get-coursier:coursier_2.13:2.1.8
//> using dep com.lihaoyi::os-lib:0.9.3
//> using dep com.lihaoyi::sourcecode:0.3.1
//> using scala 3.3.1
//> using buildInfo
import scala.sys.process.*
import java.nio.file.{Files, Paths, Path}
import java.io.File.pathSeparator as cpSep
import scala.annotation.threadUnsafe as tu