TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Programming with Categories

342 点作者 kercker超过 4 年前

17 条评论

yearoflinux超过 4 年前
As someone who respects functional programming (because it removes geniuses from competing in my space) here&#x27;s a nice video <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=ADqLBc1vFwI" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=ADqLBc1vFwI</a><p>What is the beautiful monospace font in the pdf here <a href="http:&#x2F;&#x2F;brendanfong.com&#x2F;programmingcats_files&#x2F;cats4progs-DRAFT.pdf" rel="nofollow">http:&#x2F;&#x2F;brendanfong.com&#x2F;programmingcats_files&#x2F;cats4progs-DRAF...</a>?
评论 #24356588 未加载
评论 #24356336 未加载
评论 #24356357 未加载
评论 #24354885 未加载
评论 #24356706 未加载
评论 #24356421 未加载
评论 #24355226 未加载
评论 #24355690 未加载
评论 #24359013 未加载
mncharity超过 4 年前
When taught in January at MIT, a highlight was something I&#x27;d not seen elsewhere: someone called it the &quot;aftermath&quot; (3-pun). After the one-hour traditional-ish lecture (on video), the room was reserved for an additional hour.<p>When previously taught, people would remain afterwards to ask questions, discuss math, and chat. So this was an iterative-improvement formalization of that.<p>People would gather in front of the blackboards in fluid discussion clusters. Catalyzed by the three instructors and wizzy others, not all having to stay for the entire hour, but drifting off as discussion died away. They could show material they had pruned from the lecture, for want of time. Or got dropped as they ran over. Alternate presentation approaches they had considered, before selecting another. They could be much more interactive. One commented roughly &quot;If I was tutoring someone, I&#x27;d never present the material this way&quot;. It was a delightful mix of catching the speaker after a talk to ask questions, a professor&#x27;s office hours, a math major&#x27;s lounge, an after-talk social, tutoring, an active-learning inverted classroom, hanging out with neighbors in front of the hallway blackboard, chalk clattering and cellphones clicking to snag key insights... It was very very nifty.<p>So, the book is nice. And lecture notes. And videos. But... the best part isn&#x27;t there. Perhaps the next iterative improvement is to capture the aftermath on video, and share that too.<p>And as we look ahead, planning distance-learning and XR tools... maybe something like this is a vision to aspire too. The insane ratio of expertise to people learning is not something one can plausibly replicate in meatspace. But as conversations in front a virtual blackboard gradually become technically feasible, something like this might pay for the cost of it, with transformative impact.
评论 #24360243 未加载
评论 #24358920 未加载
sideeffffect超过 4 年前
If you&#x27;re interested in how Category theory and Algebra can inform the design of software, have a look at ZIO Prelude.<p><a href="https:&#x2F;&#x2F;github.com&#x2F;zio&#x2F;zio-prelude" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;zio&#x2F;zio-prelude</a><p>It&#x27;s a brand new library for Scala that contains reusable mathematical structures. Still based on algebra and category theory, but it expresses them more or less differently than how they&#x27;ve been expressed in Haskell (and similar languages). For example, unlike Haskell (and Scala&#x27;s own cats and ScalaZ), it doesn&#x27;t present the &quot;traditional&quot; Functor -&gt; Applicative -&gt; Monad hierarchy. Instead, it presents the mathematical concepts in a more orthogonal and composable way.<p>One example out of many, you don&#x27;t have a Monad. You have two distinct structures:<p>* Covariant functor, with typical map operation `map[A, B](f: A =&gt; B): F[A] =&gt; F[B]`<p>* IdentityFlatten which has a flatten operation `flatten[A](ffa: F[F[A]]): F[A]` and an identity element `any: F[Any]`<p>When combined together (Scala has intersection types), you get something equivalent to the traditional Monad.<p>The project is in its infancy, so it may still change significantly, though. Look here for more detailed explanation:<p><a href="https:&#x2F;&#x2F;www.slideshare.net&#x2F;jdegoes&#x2F;refactoring-functional-type-classes" rel="nofollow">https:&#x2F;&#x2F;www.slideshare.net&#x2F;jdegoes&#x2F;refactoring-functional-ty...</a><p><a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=OwmHgL9F_9Q" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=OwmHgL9F_9Q</a>
评论 #24365637 未加载
linkdd超过 4 年前
I&#x27;ve read a lot about Category Theory, and I&#x27;m amazed at the abstraction level that lets you compose with different mathematical domains (geometry, topology, arithmetic, sets, ...).<p>And yet, the current mathematics relies heavily on the ZFC set theory. Why is that ? (Is that assumption even correct ?)<p>From what I&#x27;ve learned so far, the set theory suffers from Russel&#x27;s Paradox[0] (does the set of all sets that does not contain itself, contains itself ?). That&#x27;s what motivated the formalization of Type Theory and the invention of Type Systems in programming languages.<p>According to wikipedia[1], <i></i>some<i></i> type theories can serve as an alternative to set theory <i></i>as a foundation of mathematics<i></i>.<p>It seems to me that the Category Theory fits the description. So why don&#x27;t we see a huge &quot;adoption&quot; in math fields ?<p>Thank you in advance for your clarifications :)<p>[0] - <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Russell%27s_paradox" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Russell%27s_paradox</a> [1] - <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Type_theory" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Type_theory</a>
评论 #24355889 未加载
评论 #24355834 未加载
评论 #24356185 未加载
评论 #24355867 未加载
评论 #24357367 未加载
评论 #24359769 未加载
评论 #24355866 未加载
评论 #24360256 未加载
评论 #24355838 未加载
评论 #24363641 未加载
评论 #24355948 未加载
评论 #24359279 未加载
mcalus3超过 4 年前
&quot;We will assume no background knowledge on behalf of the student, starting from scratch on both the programming and mathematics.&quot;<p>This is a fantastic &quot;side effect&quot; of the fact that category theory isn&#x27;t built on any other mathematical knowledge. You don&#x27;t even need even any arithmetics for that.
评论 #24355560 未加载
评论 #24355968 未加载
评论 #24354707 未加载
iso8859-1超过 4 年前
Videos of the lectures from last year: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=NUBEB9QlNCM" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=NUBEB9QlNCM</a>
评论 #24357857 未加载
max68超过 4 年前
These guys wrote &quot;An Invitation to Applied Category Theory.&quot; It&#x27;s an awesome book, and I&#x27;m super excited for these lectures.
gumby超过 4 年前
For those who might not realize: IAP is the period between semesters at MIT, roughly most of January. So this is is a quick, accessible introduction, not a heavy semester-long slog.
hawkice超过 4 年前
In my experience, Monad, Applicable, and Monoid are probably the only ones I&#x27;d use in Haskell, and maybe none of them in languages without good inference and general support.<p>Pretty wild ideas, though. Fair chance they&#x27;d be more confusing than using more specifically named instances, but solid ideas where the class instance documents that you&#x27;re using the pattern, instead of describing the preferred interface.
评论 #24356629 未加载
评论 #24358553 未加载
评论 #24354719 未加载
评论 #24356730 未加载
aeontech超过 4 年前
For a humorous use case of types, nothing has beat Aphyr&#x27;s (of Jepsen fame) &quot;Typing the Technical Interview&quot; here: <a href="https:&#x2F;&#x2F;aphyr.com&#x2F;posts&#x2F;342-typing-the-technical-interview" rel="nofollow">https:&#x2F;&#x2F;aphyr.com&#x2F;posts&#x2F;342-typing-the-technical-interview</a><p>If you haven&#x27;t read it, take a minute...
random3超过 4 年前
Wow, what a combo! I&#x27;d be interested in anything from each of the lecturers, but all 3 at the same course, is amazing.<p>Category Theory could be the rosetta stone of many things(this is relevant <a href="https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;0903.0340.pdf" rel="nofollow">https:&#x2F;&#x2F;arxiv.org&#x2F;pdf&#x2F;0903.0340.pdf</a>).
razster超过 4 年前
What an odd coincidence that this was posted and on my YT subscribe page: <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=NUBEB9QlNCM" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=NUBEB9QlNCM</a> - Just posting the video for others to see.
apkallum超过 4 年前
David Spivak and other folks at Azimuth Forum[0] have been great at providing high quality discussions on ideas in this course and others. Many thanks.<p>[0] <a href="https:&#x2F;&#x2F;forum.azimuthproject.org" rel="nofollow">https:&#x2F;&#x2F;forum.azimuthproject.org</a>
评论 #24354892 未加载
评论 #24357765 未加载
LockAndLol超过 4 年前
This doesn&#x27;t work at all with HTTPS Everywhere. Just get a page about DreamHost site not found.
Myrmornis超过 4 年前
Will the course be taught live again and if so will those geographically elsewhere be able to attend?
SJC_Hacker超过 4 年前
Does it compile to WebAssembly VM? Any compilers on Android or iOS? Will it work with Docker? Is it deployable on AWS or Azure?
mortdeus超过 4 年前
the second i saw haskell i started saying eternally, &quot;ABORT ABORT!&quot;<p>You are going to have to revive jesus to come up with a functional language that simplifies coding over a procedural one. Especially over an object oriented one.