文件名称：csci3155_notebooks
文件大小：1.32MB
文件格式：ZIP
更新时间：2024-06-13 05:05:50
HTML
CSCI 3155的阅读材料和课堂讲义 Sriram Sankaranarayanan（CU，博尔德，计算机科学） 该存储库包含用于CSCI 3155的jupyter scala笔记本。我们将每周分发这些笔记本作为jupyter scala笔记本。 资料库还包含演讲期间使用的笔记本。 定期使用git pull来使自己与仓库保持同步。 该存储库反映了已经发布在我们班级课堂上的信息。 这将以更懒惰的方式进行更新。 如果有紧急情况，请使用课堂心情。 资料来源 这些笔记本构成了该课程的正式“课本”。 Sriram Sankaranarayanan是这些笔记本的作者，并对其内容承担全部责任。 最初的目的是翻译这本精彩的书： Friedman和Wand编写的Scala语言中的编程语言要点，在我们的课堂中用作讲义。 但是，与此同时，事物也获得了自己的生命。 Sriram感谢Bor-Yuh Ev
【文件预览】：
csci3155_notebooks-master
----10()
--------Types and Type Checking in Lettuce.ipynb(44KB)
--------TypeInferenceLettuce.ipynb(62KB)
----README.md(2KB)
----1()
--------Basic Introduction to Scala.html(405KB)
--------Introduction To Programming Languages.ipynb(15KB)
--------Basic Introduction to Scala.ipynb(68KB)
--------Introduction To Programming Languages.html(281KB)
----11()
--------Type Inference Using Unification.ipynb(55KB)
----8()
--------CallingConventions.html(358KB)
--------CallingConventions.ipynb(46KB)
--------References-And-Mutable-Vars-Lettuce.ipynb(48KB)
--------Implicit-References-Vars.ipynb(33KB)
--------References-And-Mutable-Vars-Lettuce.html(362KB)
--------Implicit-References-Vars.html(338KB)
--------figures()
--------GarbageCollection.ipynb(36KB)
----4()
--------map-reduce-filter.html(337KB)
--------Big-Step-Semantics-Expressions.ipynb(34KB)
--------map-reduce-filter.ipynb(31KB)
--------Big-Step-Semantics-Expressions.html(324KB)
----9()
--------Trampolines.ipynb(142KB)
--------Continuation-Passing-Style.ipynb(186KB)
----7()
--------RecursionInLettuce.ipynb(76KB)
--------RecursionInLettuce.html(426KB)
----5()
--------Lettuce-Scopes-Environments.ipynb(39KB)
--------Lettuce - The Let Language.ipynb(62KB)
--------interpreter-eval.png(186KB)
--------Lettuce - The Let Language.html(382KB)
----12()
--------TraitsGenericsAndVariances.ipynb(35KB)
--------IntroductionToObjectOrientedConcepts.ipynb(30KB)
----2()
--------Recursion.html(336KB)
--------Inductively Defined Structures.ipynb(54KB)
--------Inductively Defined Structures.html(350KB)
--------Recursion.ipynb(38KB)
----3()
--------OperationsInductiveDefinitions.ipynb(67KB)
--------OperationsInductiveDefinitions.html(413KB)
--------Parsers in Scala.ipynb(32KB)
----6()
--------Lettuce-Function-Calls.html(363KB)
--------Lettuce-Function-Calls.ipynb(44KB)
----13()
--------contravarianceIllustr.png(16KB)
--------listSubtypingIllustr.png(16KB)
--------SubTyping and Variance Annotations.ipynb(35KB)
--------arrayInvarianceIllustr.png(20KB)
--------PrettyPrinterContraIllustr.png(25KB)
--------covariantRelationship.png(16KB)
--------functionSubtypingIllustr.png(17KB)