legokichi

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

• like a function in the type universe
• as a type with a "hole" in it

legokichi

Rust/Haskell: Higher-Kinded Types (HKT)

A higher kinded type is a concept that reifies a type constructor as an actual type.

A type constructor can be thought of in these analogies:

• like a function in the type universe
• as a type with a "hole" in it

legokichi

パターンとはその言語が抽象化できなかった敗北の歴史である。 しかしどんなに優れた言語であってもあらゆる繰り返しに勝てるわけではない。 人は必ずメタ繰り返しを欲するからだ。 そしてそれはRustも例外ではない。

ここでは、OOPでも知られているパターンよりも、Rustに特有のパターンを思いつく限りまとめてみた。名前は適当。

• crate splitting
  • でかいcrateを分割して、見通しを良くする・再コンパイルの分量を削減する・並列コンパイルを可能にする
• 親玉crate(全てにdependする)と殿crate(全てにdependされる)があることが多いので、だいたい束みたいな形になる。

legokichi

MQTT とはなんだったのか

更新:	2017-05-09
作者:	@voluntas
バージョン:	3.14
URL:	http://voluntas.github.io/

MQTT をググって調べた人向け

legokichi

Async/Await - The challenges besides syntax - Cancellation

This is the second article in a series of articles around Rusts new async/await feature. The first article about interfaces can be found here.

In this part of the series we want to a look at a mechanism which behaves very different in Rust than in all other languages which feature async/await support. This mechanism is Cancellation.

legokichi

エンジニア向け研修

• DMM.com(旧DMM.comラボ含む)
  • ＤＭＭ.comラボ16新卒エンジニア研修 - (2016/08/24)
  • DMM.comの新卒技術研修がスタートしました！ - (2019/04/25)
• GMOインターネット
  • 「Web 基礎」という講義をしました - (2019/05/17)
• GMOペパボ
  • 2013 年の新卒研修メニュー
  • ペパボ新卒エンジニアの研修を開始している - (2013/05)
• 第二新卒研修をしていた - (2014/08)

legokichi

Raftについて

• Raftという分散合意アルゴリズムの紹介
• 論文: In Search of an Understandable Consensus ALgorithm (Extended Version)

注意

• Raft三日目くらいの人が自分の理解をもとに(適当に)書いています

legokichi

module Algebra where

import Prelude
import Control.Monad.Eff (Eff)
import Data.Maybe (Maybe(..))


newtype ConsoleAlg f = ConsoleAlg
  { printLn :: String -> f Unit 
  , readLn :: f String

legokichi

module Algebra where

import Prelude
import Control.Monad.Eff (Eff)
import Data.Maybe (Maybe(..))


newtype ConsoleAlg f = ConsoleAlg
  { printLn :: String -> f Unit 
  , readLn :: f String

legokichi

import AWS = require("aws-sdk");

const { iso8601 } = (AWS as any).util.date;
const { hmac, sha256 } = (AWS as any).util.crypto;

function getSignatureKey(
  key: string,
  date: string,
  region: string,
  service: string