y-taka-23

module Sample where

import Language.Haskell.Liquid.Prelude ( liquidError )

{-@ safeHead :: { xs:[a] | len xs > 0 } -> a @-}
safeHead []      = liquidError "empty list"
safeHead (x : _) = x

-- badUsage = safeHead [] -- => Liquid Type Mismatch

y-taka-23

#!/bin/bash

rm -f cut.mov
rm -f palette.png
rm -f encoded.gif
rm -f output.gif

ffmpeg -ss 10 -to 15 -i input.mov -c copy cut.mov
ffmpeg -i cut.mov -vf fps=30,scale=340:-1:flags=lanczos,palettegen palette.png
ffmpeg -i cut.mov -i palette.png -filter_complex "fps=30,scale=340:-1:flags=lanczos[x];[x][1:v]paletteuse" encoded.gif

y-taka-23

module signal

enum LightState { On, Off, Blink }

abstract sig Light {
  var state: one LightState
}

one sig Red, Green extends Light {}

y-taka-23

Elm による大学入学共通テスト指南

• TL;DR: オンライン実行環境作ってるよ (WIP)
• https://github.com/y-taka-23/dncl-playground
• https://elm-jp.connpass.com/event/280401/

共通テスト手順記述標準言語 (DNCL)