- For fun
- For your proprietary DSL
Jakub Kozłowski kubukoz
😱
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
| //> using dep org.typelevel::cats-effect:3.6.0 | |
| import cats.effect.IO | |
| import cats.effect.unsafe.IORuntime | |
| import cats.effect.IOApp | |
| enum Permission { | |
| case View | |
| case Edit | |
| case Both(p1: Permission, p2: Permission) | |
| } |
kubukoz
/ finally-noel.scala
Last active
March 29, 2025 13:19
— forked from arosien/finally-noel.scala
tagless final implementation from noel welsh's talk "tagless final for humans" https://noelwelsh.com/talks/tagless-final-for-humans
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
| // https://noelwelsh.com/talks/tagless-final-for-humans | |
| trait Algebra: | |
| type Ui[_] | |
| trait Controls extends Algebra: | |
| def text(prompt: String): Ui[String] | |
| def choice(prompt: String, options: (String, Boolean)*): Ui[Boolean] | |
| // etc... |
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
| //> using dep org.http4s::http4s-ember-server::0.23.28 | |
| import cats.effect.IO | |
| import cats.effect.IOApp | |
| import cats.effect.std.UUIDGen | |
| import cats.syntax.all.* | |
| import fs2.concurrent.Topic | |
| import org.http4s.HttpApp | |
| import org.http4s.ember.server.EmberServerBuilder | |
| import org.http4s.websocket.WebSocketFrame |
kubukoz
/ .scalafmt.conf
Last active
February 1, 2025 19:53
How to disable significant indentation in Scala
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
| runner.dialect = scala3 | |
| runner.dialectOverride.allowSignificantIndentation = false | |
| # allows `if x then y` | |
| runner.dialectOverride.allowQuietSyntax = true |
kubukoz
/ DeriveFunctionEquality.scala
Created
August 1, 2024 09: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
| //> using option -Ykind-projector | |
| trait Demo { | |
| type LA | |
| type LB | |
| type RA | |
| type RB | |
| def x(using | |
| laEqLb: LA =:= LB, | |
| raEqRb: RA =:= RB |
kubukoz
/ SagemakerMock.scala
Created
July 26, 2024 13:43
Sagemaker invocation mock with http4s and records4s
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
| //> using dep org.http4s::http4s-ember-server:0.23.27 | |
| //> using dep org.http4s::http4s-dsl:0.23.27 | |
| //> using dep org.http4s::http4s-circe:0.23.27 | |
| //> using dep com.github.tarao::record4s-circe:0.13.0 | |
| //> using option -Wunused:all | |
| import cats.effect.IO | |
| import cats.effect.IOApp | |
| import com.comcast.ip4s.* | |
| import com.github.tarao.record4s.% | |
| import com.github.tarao.record4s.select |
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
| #!/bin/bash | |
| set -euo pipefail | |
| # You'll have to change this, also see note about caveat below | |
| SDK_PATH=/Users/kubukoz/Developer/PlaydateSDK/C_API | |
| rm -rf HelloWorld.pdx || true | |
| rm Source/pdex.elf || true |
kubukoz
/ scala3tailrec-inline.sc
Created
October 15, 2023 21:40
Scala 3 inlines before tailrec analysis
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
| // compiles | |
| //> using scala "3.3.1" | |
| import scala.annotation.tailrec | |
| case class Opt[A](value: A | Null) { | |
| inline def flatMap[B](inline f: A => Opt[B]): Opt[B] = | |
| if (value == null) | |
| Opt(null) | |
| else |
kubukoz
/ ngrams.scala
Created
May 4, 2023 18:24
My solution to the "top n-grams" problem for my mock interview on Marcin Krykowski's channel
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
| //> using scala "3.2.2" | |
| //> using lib "co.fs2::fs2-io:3.6.1" | |
| //> using lib "io.circe::circe-core:0.14.5" | |
| //> using lib "io.circe::circe-parser:0.14.5" | |
| import cats.data.NonEmptyList | |
| import cats.effect.IO | |
| import cats.effect.IOApp | |
| import cats.implicits.* | |
| import cats.kernel.Order | |
| import fs2.io.file.Files |
NewerOlder