在mac上使用git而不安装xcode 安装 Xcode 命令行工具 xcode-select --install 确认安装成功 xcode-select --version 切换xcode的路径 sudo xcode-select --switch /Library…
Published on a minute ago
action action 市场 https://github.com/marketplace?query=cache 常用的action Cache Checkout 手动触发 在对应的action文件中增加 小技巧 使用checkout…
Published on a minute ago
相关生态 服务端 Apollo js/ts的服务端/客户端，官方支持Vue 其它 Graphql Codegen 代码生成，根据指定的端点，生成客户端可用的类型和工具函数。常用于React和Vue等前端框架
Published on a minute ago
script标签中async和defer的区别 HTML中焦点和选区 其它 使用 ::selection 选择器可以匹配被选中的部分。 杂项 HTML 实体
Published on a minute ago
作为一款纯函数式的通用语言，开始于1992年，经历过Haskell 98和Haskell 2010后，语言规范一直未更新，而其编译器GHC则成为了事实上的标准 [ 类型论 ] 竞争语言 Lisp 历史悠久的纯函数式语言，方言众多，生态不统一 agda…
Published on a minute ago
星际文件系统，一种文件传输协议，对标HTTP 一个基于区块链的分布式文件存储系统 为了使更多地人参与到这个分布式系统中来，在IPFS智商有一个激励系统Filecoin…
Published on a minute ago
Idris是一个纯函数式的通用编程语言 也可以简单的看作是[ Haskell ]的改良版 可编译为[ JavaScript ]和[ Nodejs ] 实现了[ 定量类型系统 ] 安装使用 mac可以使用homebrew 来安装idris 2 可以通过pack…
Published on a minute ago
简介 Idris2 中总共有两种解析器 Text.Lexer 和 Text.Parser 这俩组成的组合，较为复杂，先进行词法解析，再进行语法解析 Data.String.Parser…
Published on a minute ago
是继承并扩展了部分[ ECMAScript ]规范的语言。各个浏览器在不同程度上实现了运行时。 运行时 各个浏览器 nodejs deno bun 高性能的运行时，基于webkit和jscore js中阻止事件的方法 preventDefault…
Published on a minute ago