xiaoxiangmoe

Homebrew build logs for denji/nginx/nginx-full on macOS 12
Build date: 2022-03-02 15:52:11

xiaoxiangmoe

function cn-nodejs-env-setup() {
    local script='
const https = require("https");
const { exit } = require("process");
const url = "https://raw.githubusercontent.com/cnpm/binary-mirror-config/master/package.json";

https
    .get(url, (res) => {
        let body = "";

xiaoxiangmoe

-- PTS-style First-order dependent types
-- usage examples

--------------------------------------------------------------------------------
-- λ→
def plus_1_of_nat : Π _ : ℕ, ℕ := λ x : ℕ, x + 1

#check plus_1_of_nat
#reduce Π _ : ℕ, ℕ

xiaoxiangmoe

记数学公式

[TOC]

简介

leanote的markdown编辑器支持基于MathJax编写LaTeX数学公式。

xiaoxiangmoe

// https://coolshell.cn/t.html

const scan = (xs, func, init) =>
  xs.reduce(
    (accu, curr, i, arr) => [
      ...accu,
      func(accu[accu.length - 1], curr, i, arr),
    ],
    [init],
  );

xiaoxiangmoe

// tslint:disable

interface DeepReadonlyArray<T> extends ReadonlyArray<DeepReadonly<T>> {}

type DeepReadonlyObject<T> = T extends Function
  ? T
  : { readonly [P in keyof T]: DeepReadonly<T[P]> };
export type DeepReadonly<T> = T extends any[]
  ? DeepReadonlyArray<T[number]>
  : T extends object

xiaoxiangmoe

const genOpaqueType = x => "namespace _opaque{"+Array(x).fill().map((v,x)=>`declare const opaque_key_${x}:unique symbol;export interface t${x}{[opaque_key_${x}]:0}`).join(';')+"} /* prettier-ignore */ // tslint:disable-line"

xiaoxiangmoe

import * as React from "react";

declare module "react" {
  function memo<P>(
    Component:React.SFC<P>,
    propsAreEqual?:((
        prevProps: Readonly<P & { children?: ReactNode }>,
        nextProps: Readonly<P & { children?: ReactNode }>
      )=>boolean

xiaoxiangmoe

前端业务代码的书写注意点

变量，常量

几乎所有的 var,let,都可以用const代替，比如常见的写法：

交换两个数：

xiaoxiangmoe

/* config-overrides.js */


const rewired = require('react-app-rewired');

function contailCSSLoader(obj) {
  const reg = /css-loader/;
  if (typeof obj === 'string') {
    return reg.test(obj);
  }