smarter

Generalized Algebraic Data Types in Scala

Basic GADTs

Here's an ADT which is not a GADT, in Haskell:

data Expr = IntExpr Int | BoolExpr Bool

linasm

import java.time.{LocalDate, LocalDateTime, LocalTime}

/*case */class FullName(val first: String, val last: String)

object FullName {
  def apply(first: String, last: String): FullName =
    new FullName(first, last)

  def unapply(full: FullName): Some[(String, String)] =
    Some((full.first, full.last))

marksteve

Building pgModeler in MacOS with Homebrew

The official installation instructions for pgModeler recommends installing Xcode and the Enterprise DB distribution of Postgres to fulfill its build requirements. Luckily, Homebrew's got us covered!

1. Checkout the source

   git clone https://github.com/pgmodeler/pgmodeler.git
   

domnikl

tasks.withType<Jar> {
    manifest {
        attributes["Main-Class"] = "com.example.MainKt"
    }
}

vijayanant

{-# LANGUAGE RankNTypes #-}

module RankN where

-- Rank 0: 
-- add1 is momomorphic
add1 :: Int -> Int
add1 x = x + 1

-- Rank 1

btlines

package effects

import cats.{MonadError, StackSafeMonad}

import scala.concurrent.{ExecutionContext, Future}
import scala.util.{Failure, Success, Try}

final case class F[+E, +A](value: Future[Either[E, A]]) extends AnyVal {

  def fold[B](fe: E => B, fa: A => B)(implicit ec: ExecutionContext): Future[B] = value.map {

tjarvstrand

import io.opentelemetry.api.baggage.Baggage
import io.opentelemetry.api.baggage.propagation.W3CBaggagePropagator
import io.opentelemetry.context.propagation.TextMapGetter
import io.wolverinebeach.zio.telemetry.Tracing
import zio.Trace
import zio.ZIO
import zio.ZIOAspect
import zio.http.*

import java.lang

cpursley

PostgreSQL is Enough

• Simplify: move code into database functions
• Just Use Postgres for Everything
• Just use Postgres
• PostgreSQL is the worlds’ best database
• Postgres is eating the database world
• Hacker News discussion

Background and Cron Jobs

ghostdogpr

//> using dep com.github.ghostdogpr::caliban-quick:2.7.1

import caliban.*
import caliban.CalibanError.*
import caliban.Value.StringValue
import caliban.execution.FieldInfo
import caliban.parsing.adt.Directive
import caliban.quick.*
import caliban.schema.Annotations.*
import caliban.schema.Schema

igstan

object YAML:
  apiVersion:
    apps/v1
  kind:
    Deployment
  metadata:
    name:
      "my-app"
    namespace:
      "my-app"