qnighy

tokenization state 便覧

https://html.spec.whatwg.org/multipage/parsing.html#tokenization

state	example	備考
data	""	基本の状態
RCDATA	"<title>"	文字参照と閉じタグのみ有効
RAWTEXT	"<xmp>"	閉じタグのみ有効
script data	`"

qnighy

// Copyright 2022 Masaki Hara
// Licensed in MIT https://opensource.org/licenses/MIT

type Predicate<T> = {
  co?: (() => T) | undefined;
  contra?: ((x: T) => void) | undefined;
};

function expectType<T>() {
  return {

qnighy

並置による関数適用

並置による関数適用の善し悪しについて盛り上っているので、自分の意見を表明しておく。以下の2本立て。

• 純粋に構文論的な議論 (構文拡張の余地を残す)
• 意味論との関係での議論 (副作用の表示)

先に結論だけ書くと、私はどちらかといえば括弧による関数適用のほうが好みです。

そもそも並置による関数適用とは

qnighy

""                        ... ""                        + script data
"."                       ... "."                       + script data
"<"                       ... ""                        + script data less-than sign
"</"                      ... ""                        + script data end tag open
"</."                     ... "</."                     + script data
"</a"                     ... ""                        + script data end tag name
"</script "               ... ""                        + before attribute name
"</foo "                  ... "</foo "                  + script data
"</script/"               ... ""                        + self-closing start tag
"</foo/"                  ... "</foo/"                  + script data

qnighy

use std::io::{self, BufRead};
use std::str::{self, FromStr};

fn from_buf<T: FromStr>(buf: &[u8]) -> io::Result<T>
where
    T::Err: std::error::Error + Send + Sync + 'static,
{
    let s = str::from_utf8(buf).map_err(|e| io::Error::new(io::ErrorKind::InvalidInput, e))?;
    T::from_str(s).map_err(|e| io::Error::new(io::ErrorKind::InvalidInput, e))
}

qnighy

{"context":{"logLevel":20,"namespace":"Importer","package":"ts-jest","version":"27.0.0-next.6"},"message":"creating Importer singleton","sequence":1,"time":"2021-02-22T07:29:38.486Z"}
{"context":{"actualVersion":"27.0.0-next.3","expectedVersion":">=27.0.0-next.2 <28","logLevel":20,"namespace":"versions","package":"ts-jest","version":"27.0.0-next.6"},"message":"checking version of jest: OK","sequence":2,"time":"2021-02-22T07:29:38.492Z"}
{"context":{"logLevel":20,"namespace":"ts-jest-transformer","package":"ts-jest","version":"27.0.0-next.6"},"message":"created new transformer","sequence":3,"time":"2021-02-22T07:29:38.493Z"}
{"context":{"logLevel":20,"namespace":"ts-jest-transformer","package":"ts-jest","version":"27.0.0-next.6"},"message":"created new transformer","sequence":4,"time":"2021-02-22T07:29:38.661Z"}
{"context":{"logLevel":30,"namespace":"ts-jest-transformer","package":"ts-jest","version":"27.0.0-next.6"},"message":"no matching config-set found, creating a new one","sequence":5,"time":"2021-02-22T0

qnighy

/*
   Behaviour v1.1 by Ben Nolan, June 2005. Based largely on the work
   of Simon Willison (see comments by Simon below).

   Description:
   	
   	Uses css selectors to apply javascript behaviours to enable
   	unobtrusive javascript in html documents.
   	
   Usage:   

qnighy

#!/usr/bin/ruby
#
# generated_code.rb is in the same directory as this test.
$LOAD_PATH.unshift(File.expand_path(File.dirname(__FILE__)))

old_gc = GC.stress
GC.stress = 0x01 | 0x04
require 'generated_code_pb'
require 'generated_code_proto2_pb'
GC.stress = old_gc

qnighy

Inductive LatticeExpr {T} :=
  | LAtom (t: T)
  | LTop
  | LIntersection (t0: LatticeExpr) (t1: LatticeExpr)
  | LBottom
  | LUnion (t0: LatticeExpr) (t1: LatticeExpr).
Arguments LatticeExpr T: clear implicits.

CoInductive ATy :=
  | TyNumber

qnighy

#--
# Cross-compile ruby, using Rake
#
# This source code is released under the MIT License.
# See LICENSE file for details
#++

#
# This code is inspired and based on notes from the following sites:
#