- G. Cousineau and Gérard Huet, The CAML primer. Technical Report RT-0122, INRIA, September 1990, https://hal.inria.fr/inria-00070045/file/RT-0122.pdf
- Michael Gordon and Robin Milner and Christopher Wadsworth. Edinburgh LCF, Vol. 78 of LNCS. 1979. http://www.springer.com/gp/book/9783540097242
- Pierre Weis, Maria Virginia Aponte, Alain Laville, Michele Mauny, and Ascander Suarez. The CAML reference manual. Research Report RT-0121, INRIA, 1990. Project Formel https://hal.inria.fr/inria-00070046/file/RT-0121.pdf
いつもいつもいつもRe:VIEWの記法に悩んでぐぐってしまう皆さんへ送るチートシートです。
名称 | ルール | 概要・備考 |
---|---|---|
段落 | 1行以上の空行をはさむと別の段落になる | HTMLでいうP |
見出し | =ではじまる行 | =の個数で、章・節・項・段という感じで増えます。HTMLで言うH1, H2, H3, H4, H5 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function checkUnread() { | |
const unreadsArray = document.querySelectorAll('.channel_name .badge.pull-right'); | |
let counter = 0; | |
unreadsArray.forEach((value, index, array) => { | |
const innterString = value.innerHTML; | |
const parseData = parseInt(innterString, 10); | |
if(!isNaN(parseData)) { | |
counter += parseData; | |
} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE | |
Version 2, December 2004 | |
Copyright (C) 2017 mohemohe <[email protected]> | |
Everyone is permitted to copy and distribute verbatim or modified | |
copies of this license document, and changing it is allowed as long | |
as the name is changed. | |
DO WHAT THE FUCK YOU WANT TO PUBLIC LICENSE |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
'use strict'; | |
console.log('Loading function'); | |
exports.handler = (event, context, callback) => { | |
const done = (err, res) => callback(null, { | |
statusCode: err ? '400' : '200', | |
body: err ? err.message : JSON.stringify(res), | |
headers: { | |
'Content-Type': 'application/json', |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- 与えるもの:あるレコード型とその上のLens | |
data Hoge = Hoge { _hoge1 :: ..., _hoge2 :: ..., ... } | |
makeLenses ''Hoge -- hoge1, hoge2, ...が定義される | |
-- ↓ ここからTemplate Haskellで生成するか、あるいは... | |
-- 欲しいもの1:直和型とその上のPrism | |
data CoHoge = CoHoge1 ... | CoHoge2 ... | |
makePrisms ''CoHoge -- _CoHoge1, _CoHoge2, ...が定義される | |
-- CoHogeのコンストラクタはなくてもいい。型とPrismが必要 |