Skip to content

Instantly share code, notes, and snippets.

View halcat0x15a's full-sized avatar

Sanshiro Yoshida halcat0x15a

115 followers · 35 following
View GitHub Profile
@halcat0x15a
halcat0x15a / ocaml_effects.md
Last active January 29, 2023 13:59
@halcat0x15a
halcat0x15a / effect.ml
Last active January 11, 2023 08:45
open Effect
open Effect.Deep
open Effect.Shallow
type _ Effect.t += Get: int t
| Put: int -> unit t
| Exc: string -> unit t
let run_reader (i : int) e =
try_with e ()
@halcat0x15a
halcat0x15a / monadicDC.scala
Last active May 29, 2023 07:25
package monadicDC
import scala.annotation.tailrec
enum Equal[A, B] {
case EQ[A]() extends Equal[A, A]
case NE()
}
opaque type Prompt[A] = Int
@halcat0x15a
halcat0x15a / a-puzzle-a-day.prolog
Last active July 1, 2021 12:20
:- use_module(library(clpfd)).
piece(_, []).
piece([_ | Frame], [[] | Piece]) :-
piece(Frame, Piece).
piece([[X | FrameLine] | Frame], [[X | PieceLine] | Piece]) :-
piece([FrameLine | Frame], [PieceLine | Piece]).
tail([], []).
tail([_ | T], T).
@halcat0x15a
halcat0x15a / eff.scala
Created February 6, 2020 08:51
scala> trait Eff[+R[_], A]
// defined trait Eff
scala> enum Reader[I, A] { case Ask[I]() extends Reader[I, I] }
// defined class Reader
scala> enum Writer[W, A] { case Tell[W](value: W) extends Writer[W, Unit] }
// defined class Writer
scala> def run[A](eff: Eff[Nothing, A]): A = ???
@halcat0x15a
halcat0x15a / gist:f069da664105c184d038823a3f970f11
Created November 13, 2019 04:39
rpscala第256回
# 値によって変わる型
[@halcat0x15a](https://twitter.com/halcat0x15a)
---
## 今日はなすネタ
面白そうなツイートを見つけた
@halcat0x15a
halcat0x15a / pi.py
Last active August 15, 2019 09:51
import os
import re
import time
import picamera
import slack
import RPi.GPIO as GPIO
SERVO_OUT = 2
IMAGE_FILENAME = 'test.jpg'
RECORDING_FILENAME = 'test.h264'
@halcat0x15a
halcat0x15a / EffAp.hs
Last active May 16, 2019 11:45
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds, PolyKinds #-}
{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
module EffAp where
import Control.Concurrent
import Control.Concurrent.Async
import OpenUnion
@halcat0x15a
halcat0x15a / ginza_lunch.txt
Last active January 29, 2019 05:35
八十吉 https://goo.gl/maps/xcB9bywSuVH2
パリのワイン食堂 https://goo.gl/maps/xyGtCvkXEkC2
Yellow Spice https://goo.gl/maps/EgZtWRshyNz
牛庵 https://goo.gl/maps/9SupA9A3a4m
にし邑 https://goo.gl/maps/crmh17r1kSo
築地きたろう https://goo.gl/maps/8mcNNPy37tS2
ピラミッド https://goo.gl/maps/epHvBkLVcg52
むぎとオリーブ https://goo.gl/maps/k1PjHkyrCPm
だいつねうどん https://goo.gl/maps/wi8ZrD1PM3J2
東京油組総本店 https://goo.gl/maps/UC7q3M9bnCv
@halcat0x15a
halcat0x15a / kirara.scala
Last active March 12, 2018 10:50
package starlight
import akka.actor.Actor
import akka.actor.ActorSystem
import akka.actor.Props
import akka.stream.ActorMaterializer
import akka.stream.scaladsl.FileIO
import akka.stream.scaladsl.Source
import java.awt.RenderingHints
import java.awt.image.BufferedImage