xiaoxiangmoe

Linux 学习第一天

前期准备

趁腾讯云一元学生优惠机还没有过期，我重新安装了一下腾讯云的系统，换成了CentOS 7.3

然后在Windows上把PuTTY的字体换成了be5大大的Inziu Iosevka。啊，准备好了，开搞

xiaoxiangmoe

Whether you're trying to give back to the open source community or collaborating on your own projects, knowing how to properly fork and generate pull requests is essential. Unfortunately, it's quite easy to make mistakes or not know what you should do when you're initially learning the process. I know that I certainly had considerable initial trouble with it, and I found a lot of the information on GitHub and around the internet to be rather piecemeal and incomplete - part of the process described here, another there, common hangups in a different place, and so on.

In an attempt to coallate this information for myself and others, this short tutorial is what I've found to be fairly standard procedure for creating a fork, doing your work, issuing a pull request, and merging that pull request back into the original project.

Creating a Fork2

Just head over to the GitHub page and click the "Fork" button. It's just that simple. Once you've done that, you can use your favorite git client to clone your repo or

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);
  }

xiaoxiangmoe

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

变量，常量

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

交换两个数：

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

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

// 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

// 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

记数学公式

[TOC]

简介

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

xiaoxiangmoe

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

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

#check plus_1_of_nat
#reduce Π _ : ℕ, ℕ