TerrorJack's recent timeline updates TerrorJack's recent timeline updatesTerrorJack's repos on GitHub
Haskell · 22 watchers
erumpo
Just a prototype, but will be improved soon.
C++ · 8 watchers
direct-rocksdb
Haskell Bindings to RocksDB.
Haskell · 8 watchers
ghc-alter
Utilities for building Haskell tooling with ghc.
Haskell · 6 watchers
cabal-toolkit
Helper functions for writing custom Setup.hs scripts.
Haskell · 5 watchers
Cabal-playground
Logs the input & output of Cabal hooks. Useful for debugging Cabal build process.
Haskell · 5 watchers
ghc-bones
Yet another GHC API wrapper.
Shell · 5 watchers
meikyu
Haskell · 5 watchers
monad-par-async
Simple Async library built with monad-par. No canceling, more lightweight than threads.
Haskell · 4 watchers
fast-record
Fast anonymous records in Haskell.
Haskell · 4 watchers
fp-talk-code-demo
Haskell · 4 watchers
ghc
DEPRECATED, new home https://gitlab.haskell.org/ghc/ghc/
Shell · 4 watchers
gitpod-ghc
Nix · 4 watchers
old-ghc-nix
Old GHC versions from old nixpkgs revisions
Haskell · 3 watchers
easy-ffi
Cross-platform FFI toolkit.
Shell · 3 watchers
ghc-chimeralinux
Shell · 3 watchers
pixie
Haskell · 2 watchers
anubis
Haskell · 2 watchers
baidupcs
Haskell bindings to Baidu PCS(Personal Cloud Storage). Created for one sole purpose: moving stuff out before Baidu is broke
Haskell · 2 watchers
encoding-io
Encoding-aware file I/O operations.
Nix · 2 watchers
haskell-nix-static-linking
Haskell · 2 watchers
mangekyou
Haskell · 2 watchers
pt-helper
A PT client.
Haskell · 2 watchers
simple-download
A simple wrapper of http-conduit for file download.
Haskell · 1 watchers
blockcat
1 watchers
circleci-nproc
Haskell · 1 watchers
escodegen
Parser/generator of ECMAScript, backed by esprima/escodegen on Node.js
Python · 1 watchers
ghc-api-asterius
Haskell · 1 watchers
ghc-rsp-quickcheck
Shell · 1 watchers
gmp-tarballs
Haskell · 1 watchers
habanera
Haskell · 1 watchers
haskell-dev-utils
Nix · 1 watchers
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
Haskell · 1 watchers
hitomi
Nix · 1 watchers
hs-nix-tools
Haskell · 1 watchers
lifted-async-pool
Run lifted IO actions asynchronously in a pool.
Haskell · 1 watchers
msbuild
Utilities for working with MSBuild in Haskell.
Shell · 1 watchers
quickemu
Actively maintained quickemu fork
Shell · 1 watchers
rakuen
A build environment for my personal projects
Haskell · 1 watchers
repa-utils
Utilities for working with repa.
Haskell · 0 watchers
aeson
A fast Haskell JSON library
0 watchers
atomic-counter
0 watchers
awesome-wasm-langs
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
0 watchers
bifunctors
JavaScript · 0 watchers
binaryen.js
A buildbot for binaryen.js, a port of Binaryen to the Web, with TypeScript support.
CSS · 0 watchers
blog
Programs, scripts & raw posts for my blog at https://terrorjack.com
Haskell · 0 watchers
bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
C · 0 watchers
cabal-configure-pwd-issue-repro
Shell · 0 watchers
chromebox
0 watchers
clock
High-resolution clock functions: monotonic, realtime, cputime.
Haskell · 0 watchers
cmm-prof-bug-repro
Scala · 0 watchers
DeepLearning.scala
A simple language for creating complex neural networks
CSS · 0 watchers
DeepLearning.scala-website
Deep Learning tutorial for DeepLearning.scala
0 watchers
directory
Platform-independent library for basic file system operations
JavaScript · 0 watchers
dokudenpa-client
0 watchers
endoflife.date
0 watchers
free
Scala · 0 watchers
future.scala
Stack-safe asynchronous programming
C · 0 watchers
getting-started-llvm-c-api
Getting started with the LLVM C API
Haskell · 0 watchers
ghc-ar-quickcheck
Shell · 0 watchers
ghc-boot-dump
HTML · 0 watchers
ghc-doc
HTML doc of latest ghc release, with hyperlinked haddock src pages.
Haskell · 0 watchers
ghc-lib-parser-head
Nix · 0 watchers
ghc.nix
Nix (shell) expression for working on GHC
0 watchers
ghcide
A library for building Haskell IDE tooling
Nix · 0 watchers
ghcide-nix
Nix installation for ghcide
0 watchers
ghcup-hs
Haskell · 0 watchers
hadrian
Hadrian: a new build system for the Glasgow Haskell Compiler
0 watchers
haskeline
A Haskell library for line input in command-line programs.
0 watchers
haskell-code-explorer
Web application for exploring and understanding Haskell codebases
0 watchers
haskell-companies
A gently curated list of companies using Haskell in industry
Nix · 0 watchers
haskell-nix-utils
Haskell · 0 watchers
hsc2hs
Pre-processor for .hsc files
Haskell · 0 watchers
http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
0 watchers
icx-proxy
A rust-based command line tool to serve as a gateway for a Internet Computer replica.
0 watchers
invariant-functors
Python · 0 watchers
jupyter_console
Jupyter Terminal Console
0 watchers
language-c
Source repository for https://hackage.haskell.org/package/language-c
0 watchers
lens
Scheme · 0 watchers
lightsabers
some tiny, beautiful and extremely difficult code
0 watchers
MagiskOnWSA
Integrate Magisk root and Google Apps (OpenGApps) into WSA (Windows Subsystem for Android)
0 watchers
manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
TypeScript · 0 watchers
near-sdk-js
0 watchers
nix
Nix, the purely functional package manager
Nix · 0 watchers
nix-playground
Nix · 0 watchers
nixos-in-podman
0 watchers
nixpkgs
Nix Packages collection & NixOS
Python · 0 watchers
node-fetcher
JavaScript · 0 watchers
node-v8
Experimental Node.js mirror on V8 lkgr :sparkles::turtle::rocket::sparkles:
Nix · 0 watchers
old-ghc-nix-1
Old and New GHC
0 watchers
ormolu
0 watchers
palworld-settings
C++ · 0 watchers
panoptes
0 watchers
process
Library for dealing with system processes
Haskell · 0 watchers
repro-201111
0 watchers
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Python · 0 watchers
segraph
0 watchers
servant
0 watchers
setup-haskell
Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)
Shell · 0 watchers
setup-podman
C++ · 0 watchers
simdutf
Unicode routines (UTF8, UTF16): billions of characters per second.
 |
TerrorJackV2EX member #101434, joined on 2015-03-01 10:34:48 +08:00 |
cafe2code
TerrorJack
TerrorJack's recent replies
Jan 30, 2019 Replied to a topic by huoru › 程序员 › 请问一下，可以推荐一下基本 PL 知识的科普书籍 or 文章吗？ |
想得起来的几本书瞎扯一下：
## 侧重代码实现
Types and Programming Languages：从最简单的无类型 lambda calculus 讲到 System F，有 OCaml 代码示例和习题，难度适中。
Software Foundations：全程使用 Coq 代码进行讲解。习惯边看书边敲代码来实现的话推荐这本。
Essentials of Programming Languages：全程使用 Scheme 代码讲解，看完以后会写很多有趣的解释器。这本书是 Daniel Friedman 作品，他还有 The Little XX 系列，问答式的文风简直是写给小朋友看的，可能会有人喜欢。。
## 侧重数学理论
Type Theory and Formal Proof：讲的形式系统比 TAPL 更多（包含 dependent types ），侧重点不在于代码实现和为编程服务，而在于将 Type Theory 作为数学形式化的 building blocks。这书有中译本，不过建议看原文。。
Practical Foundations for Programming Languages：Robert Harper 的作品，比 TAPL 硬核许多，介绍的语言特性和形式系统比 TAPL 覆盖更为全面。看过其他教材以后不妨挑战一下这本。
## 侧重代码实现
Types and Programming Languages：从最简单的无类型 lambda calculus 讲到 System F，有 OCaml 代码示例和习题，难度适中。
Software Foundations：全程使用 Coq 代码进行讲解。习惯边看书边敲代码来实现的话推荐这本。
Essentials of Programming Languages：全程使用 Scheme 代码讲解，看完以后会写很多有趣的解释器。这本书是 Daniel Friedman 作品，他还有 The Little XX 系列，问答式的文风简直是写给小朋友看的，可能会有人喜欢。。
## 侧重数学理论
Type Theory and Formal Proof：讲的形式系统比 TAPL 更多（包含 dependent types ），侧重点不在于代码实现和为编程服务，而在于将 Type Theory 作为数学形式化的 building blocks。这书有中译本，不过建议看原文。。
Practical Foundations for Programming Languages：Robert Harper 的作品，比 TAPL 硬核许多，介绍的语言特性和形式系统比 TAPL 覆盖更为全面。看过其他教材以后不妨挑战一下这本。
Select Language