ajiyoshi-vg

if式 / if文 の条件節で、左辺に定数を書くべき言語はあるか？ @ajiyoshi.gist

twitterからながれてきたこの話題。昔のCコンパイラは、if文の条件節で代入を書いても文句を言わなかったので、このようなコードに何の警告も出なかった。

#include<stdio.h>

int main() {
  int x = 0;
  /* おそらく意図と違う。 x == 1 と書くべきであった

mpickering

--------------------------------------------------------------------------------
{-# LANGUAGE OverloadedStrings #-}
module Main
    ( main
    ) where


--------------------------------------------------------------------------------
import           Control.Concurrent  (forkIO)
import           Control.Applicative ((<$>))

e-jigsaw

contMap = (arr, f, g, ans) ->
  if ans is undefined then ans = []
  if arr.length is 0 and typeof g is 'function' then return g ans else return
  f.apply @, [
    arr.shift()
    (item)-> contMap arr, f, g, ans.concat([item])
    ans
  ]

# Example

sile

序文

• 筆者はもともとC/Pascal/Adaを書いていた
• Standard MLを書くようになり、手続き型のデータ構造を(SMLに)変換してみた
  • 幾つかのデータ構造は、簡単に変換でき、より簡潔にもなった
  • ただし、必ずしも全てのデータ構造が簡単に変換できる訳ではなかった
    • 破壊的な更新が使いたい！ (けどStandard MLにはないのでどうすれば...)
    • 文献調査したけど、ほとんど情報が見つからなかった
• 自分で研究を始めた

chrisdotcode

module Promise where

import Control.Applicative (Applicative(..))
import Data.Monoid (Monoid(..))

newtype Error = Error { unString :: String } deriving (Eq, Ord, Read, Show)

data Promise a = Failed Error | Deferred | Fulfilled a
  deriving (Eq, Ord, Read, Show)

sile

6 遅延評価を使った償却と永続性

前章の題材:

• 償却というアイディアの提示
• 良い償却計算量を有するいくつかのデータ構造の紹介

償却の問題点:

• 永続性とは相性が悪い

paulirish

/* bling.js */
window.$ = document.querySelector.bind(document);
window.$$ = document.querySelectorAll.bind(document);
Node.prototype.on = window.on = function(name, fn) { this.addEventListener(name, fn); };
NodeList.prototype.__proto__ = Array.prototype;
NodeList.prototype.on = function(name, fn) { this.forEach((elem) => elem.on(name, fn)); };

sile

第7章 償却を除去する

memo: スケジューリングの役割

• イメージ的には銀行員の手法での__支払い__を実装に反映した感じ
• 後ろに重いサスペンションが控えている場合の挙動の違い:
  • 6章(償却):「軽い操作で__仮想的に__その内のN個のデビットを払ったことにしておこう」
  • 7章(最悪):「軽い操作で__実際に__その内のN個の(小さな)サスペンションを事前に評価しておこう」
• 支払い(or 評価)が終わっていないオブジェクト(サスペンション)に対するアクセスは許可されない

sile

Raftについて

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

注意

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

avieth

Interpreting Free Monads of Functor Sums
========================================

This text deals with a way to compose certain kinds of monads, thereby mixing
their capabilities. It is a literate Haskell file, so let's begin with a
bunch of noise.

> {-# LANGUAGE MultiParamTypeClasses #-}
> {-# LANGUAGE FlexibleInstances #-}
> {-# LANGUAGE FlexibleContexts #-}