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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

New JavaScript code generator in Idris 2

164 点作者 ska80将近 5 年前

5 条评论

spinningslate将近 5 年前
Aside from being an interesting feature, the discussion is a great example of positively encouraging contributions. There&#x27;s a lot to admire about Edwin Brady: smart, kind, polite, self-effacing, committed. Given the prevalence of acrimony in online discourse - both mainstream and social media - it&#x27;s always good to be reminded that there are lots of really decent people out there. And anyone who names a language after a dragon in a children&#x27;s animation[0] gets my vote!<p>[0] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Ivor_the_Engine" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Ivor_the_Engine</a>
评论 #23778561 未加载
guerrilla将近 5 年前
If you also didn&#x27;t know Idris 2 was out, check here [1] for what&#x27;s new.<p>[1]. <a href="https:&#x2F;&#x2F;idris2.readthedocs.io&#x2F;en&#x2F;latest&#x2F;updates&#x2F;updates.html#sect-new-features" rel="nofollow">https:&#x2F;&#x2F;idris2.readthedocs.io&#x2F;en&#x2F;latest&#x2F;updates&#x2F;updates.html...</a>
madushan1000将近 5 年前
I wonder how much effort would it take to add a rust code generator. I&#x27;m guessing we can&#x27;t add a C code generator because idris seems to need a garbage collector.
评论 #23781027 未加载
评论 #23782868 未加载
评论 #23780638 未加载
评论 #23781279 未加载
评论 #23781020 未加载
swagonomixxx将近 5 年前
Are there any examples of projects in Idris that do something non-trivial and non-academic?<p>E.g, websites, video games, etc.
评论 #23784991 未加载
评论 #23788817 未加载
评论 #23784335 未加载
评论 #23785130 未加载
ch4s3将近 5 年前
I&#x27;ve been interested in Idris for quite awhile, but not sure how to go about learning it. Are there any particularly good resources? Am I expected to know Haskell or is it sufficient to have a few years of experience with FP in general?
评论 #23780939 未加载
评论 #23788872 未加载