kogai

(x: nat -> bool) ->
  let y = x 100 in
  y
;

(x: nat -> bool) ->
  ((y: bool) -> y) (x 100)
;

kogai

brew tap PX4/homebrew-px4
brew update
brew install gcc-arm-none-eabi

# qmk_firmwareのgitbookドキュメントより
https://docs.qmk.fm/getting_started_build_tools.html

brew tap osx-cross/avr
brew tap PX4/homebrew-px4
brew update

kogai

#require "core";;
open Core;;

kogai

import * as R from "ramda";

type M = {[string]: *};

// Ramda hasn't offer type definition of this function, but actually it exist.
// See http://ramdajs.com/docs/#mergeDeepLeft
export const mergeDeepLeft:
  (<A: M, B: M, R: A & B>(A) => B => R) &
  (<A: M, B: M, R: A & B>(A, B) => R)
= (R: any).mergeDeepLeft;

kogai

{
  // Use IntelliSense to learn about possible attributes.
  // Hover to view descriptions of existing attributes.
  // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
  "version": "0.2.0",
  "configurations": [
    {
      "type": "ghc",
      "name": "ghci debug viewer Phoityne",
      "request": "launch",

kogai

brew cask install haskell-platform
stack install ghc-mod \
  phoityne-vscode \
  stylish-haskell \
  fast-tags \
  hlint

kogai

# gdb

sudo gdb ./_build/src/flow.native
(gdb) br camlFlow__main_xxxx

# lldb

lldb ./_build/src/flow.native

(lldb) br set -n camlFlow__main_xxxx

kogai

brew install colormake
export OPAMKEEPBUILDDIR=true
export OCAMLPARAM="_,bin-annot=1"
opam reinstall ounit

kogai

　集合　set
　部分集合　subset
　集合の元　element
　空集合　empty set
　和集合　union of sets
　共通集合　intersection of sets
　補集合　complementary sets, complements
　無限集合　infinite set
　有限集合　finite set
　直積集合　product set

kogai

# SQLサーバへ接続する
docker-compose exec database mysql -udocker -pdocker