38 Matching Annotations
  1. Mar 2024
  2. Local file Local file
    Untitled document
    1
    1. random_usrname 16 Mar 2024

      主要介绍了「转型」的概念，指出「公共性」在社会构建中的意义； 通过强调「社会主义」的公共性，区别了与资本主义高度绑定的「自由主义」公共性； 算是卑躬屈膝地提出请求吧，第二、三部份的梳理可以看

      社会 理论

    Tags

    Annotators

  3. Local file Local file
    Untitled document
    1
    1. random_usrname 07 Mar 2024

      第一部份是很好的社科发展综述； 但其实这个经验并没有什么启发性

      社会科学 综述 理论

    Tags

    Annotators

  4. Jan 2023
  5. Local file Local file
    Untitled document
    1
    1. PerKeUPChuan 24 Jan 2023
      父母生活上太节俭，不劝，想改善他们生活，就说自己想吃；想改善他们的穿着，就说刚好遇到做活动，超低价！

      要实现同样一件事、一个目标、一种结果，同样的一种行为，但是换一种说法、换一种说辞，就会产生截然不同的效果。这就是言行不同组合，产生的奇妙效果。 不同的说辞、不同的说法、不同的理论支撑下，采取同样的一套行动，最终竟然会产生不同的、甚至是截然相反的效果。 这就虚实结合的奇妙案例。 不同的虚部，与同样一个实部组合，会得到截然相反的不同结果。 值得进一步深入思考。

      虚 实 言语 理论 行动 结果 组合 案例

    Tags

    Annotators

  6. Dec 2022
  7. www.zhihu.com www.zhihu.com
    为什 Ada 语言没有普及开？ - 知乎
    1
    1. caocao485 14 Dec 2022
      为什 Ada 语言没有普及开？
      rust ada 编程语言 编程原因 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/23415363
  8. www.zhihu.com www.zhihu.com
    看一些 Type Inference 的论文感觉吃力，需要补哪些知识？ - 知乎
    1
    1. caocao485 14 Dec 2022
      看一些 Type Inference 的论文感觉吃力，需要补哪些知识？
      类型系统 编程语言理论 类型推导
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/37850956
  9. www.zhihu.com www.zhihu.com
    如何有步骤地实现一个解释器？如果采用低级语言，如 C 之类的语言来实现像 Lisp 这样的语言，需要什么知识和工具？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如何有步骤地实现一个解释器？如果采用低级语言，如 C 之类的语言来实现像 Lisp 这样的语言，需要什么知识和工具？
      解释器 解释 编程语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/20030377
  10. www.zhihu.com www.zhihu.com
    SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？ - 知乎
    1
    1. caocao485 14 Dec 2022
      SystemF 对应二阶逻辑，Fω 对应高阶逻辑，这个阶是怎么算得？
      编程语言 逻辑 编程语言理论 逻辑学
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/321025032
  11. www.zhihu.com www.zhihu.com
    [PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？ - 知乎
    1
    1. caocao485 14 Dec 2022
      [PLT]和[数理逻辑、类型论、抽象代数及范畴论]的关系是什么？
      编程语言理论 数理逻辑 范畴论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/37050853
  12. www.zhihu.com www.zhihu.com
    Cut elimination对于STLC以及其他type system的意义？ - 知乎
    1
    1. caocao485 14 Dec 2022
      Cut elimination对于STLC以及其他type system的意义？
      类型系统 数理逻辑 类型 逻辑学 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/54408615
  13. www.zhihu.com www.zhihu.com
    语言只是工具，那么什么是编程思想呢？ - 知乎
    1
    1. caocao485 14 Dec 2022
      语言只是工具，那么什么是编程思想呢？
      oop oo 编程思想 工具 程序员文化 理论计算机科学 语言 类型系统 编程语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/326338916
  14. www.zhihu.com www.zhihu.com
    Racket有contract为什么还要加一个type system？ - 知乎
    1
    1. caocao485 14 Dec 2022
      Racket有contract为什么还要加一个type system？
      类型系统 编程语言理论 Racket Scheme Lisp
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/364999273
  15. www.zhihu.com www.zhihu.com
    读 CS PhD 之前没有工业界经历真的没关系吗？ - 知乎
    1
    1. caocao485 14 Dec 2022
      读 CS PhD 之前没有工业界经历真的没关系吗？
      编程语言理论 类型系统 经验 并发 PHD
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/316858383
  16. www.zhihu.com www.zhihu.com
    在计算机科学中，整体来说，PL 更接近 Theory 还是 System？ - 知乎
    1
    1. caocao485 14 Dec 2022
      在计算机科学中，整体来说，PL 更接近 Theory 还是 System？
      PLT 编程语言理论 编译 编译原理
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/336594700
  17. www.zhihu.com www.zhihu.com
    是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？ - 知乎
    1
    1. caocao485 14 Dec 2022
      是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？
      类型系统 Racket 编程语言理论 Haskell
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/287997188
  18. www.zhihu.com www.zhihu.com
    目前，人工智能各个流派发展现状如何？ - 知乎
    1
    1. caocao485 14 Dec 2022
      目前，人工智能各个流派发展现状如何？
      人工智能 理论 深度学习
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/36849284
  19. www.zhihu.com www.zhihu.com
    LISP可以做什么？ - 知乎
    1
    1. caocao485 14 Dec 2022
      LISP可以做什么？
      编程语言理论 函数式编程 函数式语言 lisp
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/355179217
  20. www.zhihu.com www.zhihu.com
    如何评价 The Little Schemer 系列的文风？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如何评价 The Little Schemer 系列的文风？
      Scheme Lisp 函数式语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/305891726
  21. www.zhihu.com www.zhihu.com
    如何证明一个语言的类型系统是sound的？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如何证明一个语言的类型系统是sound的？
      类型系统 编程语言理论 编程语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/57109822
  22. www.zhihu.com www.zhihu.com
    lambda演算求值顺序的问题？ - 知乎
    1
    1. caocao485 14 Dec 2022
      lambda演算求值顺序的问题？
      lambda 函数式语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/35597907
  23. www.zhihu.com www.zhihu.com
    如何评价PLT Redex？ - 知乎
    1
    1. caocao485 14 Dec 2022
      如何评价PLT Redex？
      PLT 函数式语言 Racket 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/267939852
  24. www.zhihu.com www.zhihu.com
    CEK machine里的C、E、K分别对应了“真实”计算机里的哪些构造？ - 知乎
    1
    1. caocao485 14 Dec 2022
      CEK machine里的C、E、K分别对应了“真实”计算机里的哪些构造？
      CPU 计算机 基础知识 编程语言 编程语言理论 栈
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/352106817
  25. www.zhihu.com www.zhihu.com
    如何看待编程语言越来越大的趋势？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何看待编程语言越来越大的趋势？
      函数式语言 编程语言理论 编程 SICP
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/60447599
  26. www.zhihu.com www.zhihu.com
    Call By Need语义下如何做Partial Evaluation？ - 知乎
    1
    1. caocao485 13 Dec 2022
      Call By Need语义下如何做Partial Evaluation？
      Haskell 编程语言理论 partial-evaluation
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/59093600
  27. www.zhihu.com www.zhihu.com
    类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？ - 知乎
    1
    1. caocao485 13 Dec 2022
      类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？
      类型系统 形式语言 理论计算机 编程语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/393764327
  28. www.zhihu.com www.zhihu.com
    设计一门编程语言的话，你认为最重要的一定要有的特性会是哪些？ - 知乎
    1
    1. caocao485 13 Dec 2022
      设计一门编程语言的话，你认为最重要的一定要有的特性会是哪些？
      函数式编程 函数式语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/40675600
  29. www.zhihu.com www.zhihu.com
    (2 封私信) 想看懂编程语言理论书籍需要什么前置的知识? - 知乎
    1
    1. caocao485 13 Dec 2022
      想看懂编程语言理论书籍需要什么前置的知识?
      PLT 编程语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/347927722
  30. www.zhihu.com www.zhihu.com
    为什么我们需要了解编程的历史？ - 知乎
    1
    1. caocao485 13 Dec 2022
      为什么我们需要了解编程的历史？
      历史 编程语言 计算机科学 理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/39932462
  31. www.zhihu.com www.zhihu.com
    系统地学习PLT需要读哪些经典书籍？ - 知乎
    1
    1. caocao485 13 Dec 2022
      系统地学习PLT需要读哪些经典书籍？
      编程语言理论 PLT
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/36328468
  32. www.zhihu.com www.zhihu.com
    编程语言理论 - 收藏夹 - 知乎
    1
    1. caocao485 13 Dec 2022
      编程语言理论
      编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/collection/291536820
  33. www.zhihu.com www.zhihu.com
    怎么评价这份PLT Learning By Doing Guide 攻略？ - 知乎
    1
    1. caocao485 13 Dec 2022
      怎么评价这份PLT Learning By Doing Guide 攻略？
      plt 编程语言理论 计算机科学 编程语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/59019752
  34. www.zhihu.com www.zhihu.com
    如何理解算法时间复杂度的表示法O(n²)、O(n)、O(1)、O(nlogn)等？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何理解算法时间复杂度的表示法，例如 O(n²)、O(n)、O(1)、O(nlogn) 等？
      复杂度 理论计算机科学 算法
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/21387264
  35. www.zhihu.com www.zhihu.com
    CPS变换可以用来将普通递归转变为尾递归？？ - 知乎
    1
    1. caocao485 13 Dec 2022
      CPS变换可以用来将普通递归转变为尾递归？？
      SICP 函数式编程 编程语言理论 编译 编译原理
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/28458981
  36. www.zhihu.com www.zhihu.com
    有没有简单易懂的算法来判定一个语言是/不是图灵完全的？ - 知乎
    1
    1. caocao485 13 Dec 2022
      有没有简单易懂的算法来判定一个语言是/不是图灵完全的？
      图灵 算法 理论 计算机理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/24118344
  37. www.zhihu.com www.zhihu.com
    程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？ - 知乎
    1
    1. caocao485 13 Dec 2022
      程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？
      subtype 类型系统 编程语言理论 编程语言 子类型 函数式语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/53870767
  38. www.zhihu.com www.zhihu.com
    类型（Types）和集合（Sets）二者之间有何区别？ - 知乎
    1
    1. caocao485 13 Dec 2022
      类型（Types）和集合（Sets）二者之间有何区别？
      类型系统 编程语言理论 编程语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/68263715
  39. www.zhihu.com www.zhihu.com
    子类型（subtyping）是不是错误（ill-defined）的东西？ - 知乎
    1
    1. caocao485 13 Dec 2022
      子类型（subtyping）是不是错误（ill-defined）的东西？
      子类型 类型系统 编程语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/289974125
  40. www.zhihu.com www.zhihu.com
    如何评价Liquid Types？ - 知乎
    1
    1. caocao485 13 Dec 2022
      如何评价Liquid Types？
      类型系统 编程语言理论 函数式语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/288057943
  41. www.zhihu.com www.zhihu.com
    正则表达式如何匹配 3 的倍数？ - 知乎
    1
    1. caocao485 13 Dec 2022
      正则表达式如何匹配 3 的倍数？
      正则表达式 计算理论 字符串
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/24824487