首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Stack:如何使用lts-13.2构建?我想使用较新的库

Stack是一个开源的构建工具,用于构建和管理Haskell项目。它提供了一种简单的方式来配置、构建和安装项目的依赖项,并且可以自动解决依赖关系。

要使用lts-13.2构建项目,你需要按照以下步骤进行操作:

  1. 首先,确保你已经安装了Stack。你可以从Stack的官方网站(https://docs.haskellstack.org/en/stable/README/)下载并安装适合你操作系统的版本。
  2. 打开命令行终端,并进入你的项目目录。
  3. 在项目目录中创建一个名为stack.yaml的文件,用于配置Stack的构建设置。在该文件中,你可以指定要使用的resolver版本(lts-13.2),这将确定你项目所使用的Haskell编译器版本和标准库版本。
  4. 示例stack.yaml文件内容:
  5. 示例stack.yaml文件内容:
  6. 在命令行中运行以下命令,以下载并安装所需的依赖项:
  7. 在命令行中运行以下命令,以下载并安装所需的依赖项:
  8. 这将根据你在stack.yaml文件中指定的resolver版本,下载并安装相应的Haskell编译器和标准库。
  9. 在命令行中运行以下命令,以构建你的项目:
  10. 在命令行中运行以下命令,以构建你的项目:
  11. 这将根据你项目目录中的package.yaml文件(或者.cabal文件)中指定的依赖项,下载并构建项目所需的库和可执行文件。
  12. 如果构建成功,你可以在命令行中运行以下命令,以运行你的项目:
  13. 如果构建成功,你可以在命令行中运行以下命令,以运行你的项目:
  14. 其中<executable-name>是你项目中的可执行文件的名称。

通过以上步骤,你可以使用lts-13.2构建你的项目,并使用较新的库。请注意,具体的库和版本取决于你在项目的package.yaml文件(或者.cabal文件)中指定的依赖项。

腾讯云提供了一系列与云计算相关的产品和服务,例如云服务器、云数据库、云存储等。你可以根据你的具体需求,选择适合的腾讯云产品来支持你的项目。你可以访问腾讯云官方网站(https://cloud.tencent.com/)了解更多关于腾讯云产品的信息和文档。

页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

如何使用GOLDENGATE构建数据审计表之一

【GOLDENGATE版本以及数据版本】 GOLDENGATE版本是11.2.1.0.5和12.2.0.1.1,使用2个版本主要说明12c与11g变化....DB版本是ORACLE 11.2.0.3 RAC,其他数据都可以实现相同功能 【审计表】 审计表分为2种:1、记录每一条记录变化汇总 2、只记录每一记录当前状态以及变化前状态值 【记录每一条记录变化汇总...trailfile中记录一条包括before和after记录,操作是GGSunifiedUpdate,此时如果使用allcols附加日志,只有before包括所有列信息,after只有主键和更新列信息...采用兼容11g方案,这个可以实现,如果不想兼容11g功能,如何实现?能否实现?...nocompressdeletes,nocompressupdates来全列日志到trailfile,这样目标端才能转换成insert无异常. 12c使用updaterecordformat

1.9K20

【Nginx】如何使用Nginx实现MySQL数据负载均衡?看完懂了!!

写在前面 Nginx能够实现HTTP、HTTPS协议负载均衡,也能够实现TCP协议负载均衡。那么,问题来了,可不可以通过Nginx实现MySQL数据负载均衡呢?答案是:可以。...接下来,就让我们一起探讨下如何使用Nginx实现MySQL负载均衡。...前提条件 注意:使用Nginx实现MySQL数据负载均衡,前提是要搭建MySQL主主复制环境,关于MySQL主主复制环境搭建,后续会在MySQL专题为大家详细阐述。...server { listen [::1]:12345; proxy_pass unix:/tmp/stream.socket; } } 说到这里,使用...jdbc:mysql://192.168.1.100:3306/数据名称 此时,Nginx会将访问MySQL请求路由到IP地址为192.168.1.101和192.168.1.102MySQL上

4.2K20

如何使用 Kafka、MongoDB 和 Maxwell’s Daemon 构建 SQL 数据审计系统

在本文中,将会使用像 Maxwell’s Daemon 和 Kafka 这样技术提供一个可扩展方案,以管理审计跟踪数据。 问题陈述 构建一个独立于应用程序和数据模型审计系统。...MongoDB MongoDB是一个通用、基于文档分布式数据,它是为现代应用开发人员和云时代所构建。...消费者将处理后数据写入到数据存储中。 环境搭建 为了实现简便环境搭建,我们在所有可能地方都尽可能使用 Docker 容器。...下载源码并参考 README 文档以了解如何运行。 最终测试 最后,我们环境搭建终于完成了。登录 MySQL 数据并运行任意插入、删除或更新命令。...在强调完这种架构一些权衡之后,重申一下这种环境收益,它主要好处在于: 这种环境减少了数据在审计日志方面的性能损耗,并且满足传统数据源在市场营销和告警方面的需要。

1K30

如何使用构建在 Redis 之上 BullMQ 在 Node.js 中实现一个消息队列。

在这篇文章中,我们将使用建立在Redis之上BullMQ,在Node.js中实现一个消息队列。我们将实现两个消息队列。一个用于为特定订单添加退款任务。...对于通知任务,我们将使用另一个队列。步骤1:设置项目创建一个新文件夹 "messaging_queue" 并通过 npm init 初始化项目,并添加依赖项。...步骤6:Docker设置为了运行BullMQ代码,我们需要在本地计算机上运行一个Redis服务器。因此,我们将使用Docker。...确保您系统已安装Docker,并创建一个 docker-compose.yml 文件。...Redis容器:docker-compose up -d现在,我们可以运行我们Express服务器:node index.js正在参与2023腾讯技术创作特训营第三期有奖征文,组队打卡瓜分大奖!

43300

Pinia与Vuex到底哪个好用?什么时候用?

使用 Vue 3 中反应系统来构建一个直观且完全类型化状态管理。...但是,如果您需要构建一个中大型单页应用,您很可能会考虑如何更好地在组件外部管理状态,Vuex 将会成为自然而然选择。...它说如果程序简单,一个简单store模式就可以满足需求,没必要使用Vuex,但是手动去构建一个store还是比较麻烦,这时候,Pinia轻量优势就来了,他就是算一个单一强大store模式状态管理...Vuex 是 Vue.js 核心团队推荐状态管理,拥有庞大社区,核心团队成员做出了重大贡献。 Stack Overflow上很容易找到 Vuex 错误解决方案。...其余功能方面比较,掘金社区有更好文本参考,就直接截图了: Vuex使用很简单,使用得恰当好处还是不容易下一篇更新一下如何更好使用Vuex。

4.9K20

C ++ 中不容忽视 25 个 API 错误设计!

还强烈建议你使用嵌套命名空间来进行功能分组或将公共API与内部API分开。一个很好例子是Boost,它们可以自由地使用嵌套命名空间。...对项目中所有头文件重复该过程,使用自下而上方法。随着代码变大和代码块移动,这将有助于防止随机构建中断。...如果动态链接到以前版本程序继续与新版本一起运行而不需要重新编译,那么此时是二进制兼容。 二进制兼容性可以节省很多麻烦。它为特定平台分发软件变得更加容易。...你可以定义方法重载版本,而不需要向现有方法中添加参数。这可以确保原始符号继续存在,但也提供了调用约定。在.cpp文件中,可以通过简单地调用重载方法来实现旧方法。...如何以及在何处使用此代码,这对产生了极大影响。例如如果这是一个同步调用,永远不会在像游戏场景渲染循环这样时间关键代码路径中使用它。 如何解决这个问题?

1.5K20

在DB-Engines排名不高,ClickHouse还值得关注吗?

:"。。。。。。" 上述又是一段亲身经历。 最近有朋友问我:"你是基于什么根据,如何判断出ClickHouse要火呢?"...截止到2020年1月 按所有类型统计,在350款数据中,排名78,上一个月上升108位 按关系模型统计,在139款关系型数据中,排名41,上一个月上升52位 再看看按所有类型统计TOP 10:...历史越久,优势越大 历史越悠久,面世时间越早数据拥有更多用户基础,且由于种种原因(历史包袱等),由于切换使用新技术成本问题,这些用户会继续选择使用这些数据。...数据渠道不够全面 假设一下,如果在Stack Overflow提问数量多,你觉得可能是什么原因?流行度高,使用的人多自然是一种原因。但是还有一种可能,是这个数据周边配套太差了。...最后,对于ClickHouse选择判断,到底应该如何抉择呢? ,那就Follow your heart吧 :)。

1.7K20

程序员如何持续提升自己开发技能

比如,在学习iOS过程中,一直关注 RayWenderlish.com 和iOSDeveloperTips.com,它们都有定期内容发布。...阅读是有益处,但要想真正理解某个编程语言/或者技术,你只能亲自动手,真正参与到一个使用这种语言//技术项目中。”...有几个小侄子,发现给他们开发游戏是一个学习XNA/Cocos2D绝佳方式;很快还会为他们写一个基于Sprite Kit游戏。 有没有什么开源项目正在使用你所学新知识?...如果是这样,搞定它不但可以使你学习并开发出一个应用,并还可能获得一个用户群来给你提供大量反馈。 教别人同时学习 当我在微软作为布道者,程序员们宣讲时,常常撰写入门指南演讲稿和在线材料。...有些,负责是一些很熟悉领域,但微软拥有如此众多工具和技术,并不断有东西涌现出来,经常发现自己不得不学习新知识才能完成教程。

94290

死磕 Elasticsearch 方法论:普通程序员高效精进 10 大狠招!

有了传统关系型数据(MySQL、Oracle)、非关系型数据(Mongo),如何快速导入 Elasticsearch,实现全文检索。 Elasticsearch 实战中遇到问题,如何高效解决。...ELK Stack 应用场景 ELK Stack基础应用场景 场景一:使用 ES 作为业务系统后端。...ELK Stack学习优先级 ELK Stack 学习优先级 建议 Elasticsearch 为第一优先级。需要掌握内容如下。...相信这点,由浅入深夯实基础,各种看似复杂问题回头再去看都是“小Kiss”。 找最快方法 现身说法,曾经对 Jest 使用摸索了很久。久久不能知道正确使用方式。...小结 以上,是近3年 ELK Stack 学习和实践经验总结,历时大于10个小时。

1.8K40

6个你应该知道 JavaScript 图表

家好,是「前端实验室」爱分享了不起~ 上次给大家分享卧槽!Javascript 图表绘制还能这么玩? 今天再给大家推荐6款超牛JavaScript 图表~ 1....与许多其他 JavaScript 不同,D3 不附带任何开箱即用构建图表。但是可以查看使用 D3.js 构建图表列表 作为入门教程,D3.js 支持多种图表类型。...Plotly.js 是建立在 D3.js 和 stack.gl 之上,支持 20 种图表类型,包括 SVG 地图、3D 图表和统计图。...Google Charts Google 图表工具功能强大、易于使用且是免费。...提供图表组件都是交互式且支持自定义选项,跨浏览器兼容性(为 IE 版本采用 VML),以及跨平台移植到 iOS 和 Android 版本能力。无需插件。

1.1K30

2020年我们聊聊 serverless 与云开发

在前端圈中最不缺少就是新技术,几乎每个月都会出现一些 npm 包、框架、新名词。...当一篇流行框架发布新版本时,或者当一篇文章解释某个即使时,下面的评论往往都是: 求求你别更新了,已经学不动了。 或者 来人啊,扶起来,还能学。...Full Stack 或者 (BFF)Backends for Frontend。...你作为前端开发者,还懂如何配置 nginx。但是你配 nginx 真的是最优吗?为什么不交给专业的人去做呢? 你作为前端开发者,还懂如何配置 mysql。但是你配 mysql 真的是最优吗?...而任何一个小程序上线,除了大家看到小程序,背后还有网关、计算服务、基础设施管理、数据、文件服务、缓存服务等等。云开发提供了完整服务器架构,并且能够保证服务稳定性。

73510

DolphinScheduler 之Docker 部署

由于商业许可证原因,我们不能直接使用 MySQL 驱动包. 如果你要使用 MySQL, 你可以基于官方镜像 apache/dolphinscheduler 进行构建....dolphinscheduler,你需要修改 docker-stack.yml 运行 dolphinscheduler (详见如何使用docker镜像) 在数据源中心添加一个 MySQL 数据源 如何在数据源中心支持...dolphinscheduler,你需要修改 docker-stack.yml 运行 dolphinscheduler (详见如何使用docker镜像) 在数据源中心添加一个 Oracle 数据源 如何支持...,你需要修改 docker-stack.yml 运行 dolphinscheduler (详见如何使用docker镜像) 在一个 Python 任务下验证 pip 如何支持 Python 3?...,你需要修改 docker-stack.yml 修改 config.env.sh 文件中 PYTHON_HOME 为 /usr/bin/python3 运行 dolphinscheduler (详见如何使用

11.9K10

如何使用适用于Linux 2和Windows TerminalWindows子系统

如果您是一位经验丰富开发人员,您已经知道Linux是使用开源技术构建和运行基于服务器解决方案最佳平台。虽然可以在Windows上运行相同,但体验并不是那么好。...使用开源技术构建项目时,您可能会遇到在Linux上运行良好但在Windows上不完全支持依赖项。...对于某些项目,由于某些开源缺乏Windows支持,因此无法实现。使用WSL2,这不再是一个问题。在下一节中,我们将在Windows上安装LAMP堆栈,发现它比WAMP堆栈更容易安装和配置。...就而言,正在升级: ? 安装完成后,您可以从“开始”菜单启动它。您将找到默认终端是PowerShell。只要单击+号,就会使用默认终端创建一个选项卡。使用下拉菜单,您可以选择其他类型终端。...展示一个简单提示是像我这样安装了旧版Windows终端用户。你们中一些人可能已经注意到上面的截图中缺少一些配置文件。尽管更新了应用程序,但我个人资料设置保持不变。

3.7K20

Python简史:开发者小小副业如何成为全球最热编程语言?

认为只是享受独自做大项目的快感,写自己代码,按照自己想法设计。喜欢编程。」van Rossum 说道。...(图源:Stack Overflow) 那么 Python 是如何超越前对手 Perl 呢?又该怎么解释二者迥然不同命运呢?van Rossum 认为,这与代码超出一定规模后能否轻松维护有关。...「当时一些网络开发者写更大应用,他们认为用 Python 写大型应用比使用 C、C++ 或 Java 要省力很多。」...Warsaw 表示,Keith-Magee 提出了很多有用点,他也认为考虑如何使 Python 与手机、平板以及 WebAssembly 等 web 技术接轨是非常重要。...但是在今年 Python 语言峰会上,Amber Brown 批评了 Python 标准,她提出疑问:如果让用户从 PyPI 中自行选择代码,而不是使用作为内置功能标准,是不是会更好?

67710

Python简史:开发者小小副业如何成为全球最热编程语言?

认为只是享受独自做大项目的快感,写自己代码,按照自己想法设计。喜欢编程。」van Rossum 说道。...(图源:Stack Overflow) 那么 Python 是如何超越前对手 Perl 呢?又该怎么解释二者迥然不同命运呢?van Rossum 认为,这与代码超出一定规模后能否轻松维护有关。...「当时一些网络开发者写更大应用,他们认为用 Python 写大型应用比使用 C、C++ 或 Java 要省力很多。」...Warsaw 表示,Keith-Magee 提出了很多有用点,他也认为考虑如何使 Python 与手机、平板以及 WebAssembly 等 web 技术接轨是非常重要。...但是在今年 Python 语言峰会上,Amber Brown 批评了 Python 标准,她提出疑问:如果让用户从 PyPI 中自行选择代码,而不是使用作为内置功能标准,是不是会更好?

54210

JavaScript前端框架2024年展望

“有些客户已经使用Next.js构建了5-6年,他们对这些特性采用也需要多年时间”,Robinson说,“我们希望尽可能顺利地让人们参与这个过程。”...“通常,生态系统中许多开发人员不得不引入大量额外包或学习如何使用其他工具来进行获取、缓存和重新验证”,Robinson说,“Next.js现在已经内置了很多这些功能,这非常强大,但这也意味着需要学习额外事项...“他们不被迫采用单一解决方案,这对来说非常重要,因为每个人都有自己需求。正如我所说,如果构建正确组件并找出这些构建块是什么,人们可以做更多事情。”...“对来说,一直都是关于基本元素构建块,非常注重工程,认为这也是它与众不同原因之一,”他说。...“一直喜欢给予选择,并且认为如果你拥有正确基本元素,正确构建块,你就可以构建出正确解决方案。” 他表示,Solid 2.0预计将在2024年中晚期发布。

17510

新风向标:学术界开始从 Python 转向 Rust

“其它主流语言都没有这些概念,理解了这些概念才是真正明白如何使用 Rust 编写代码真正核心。”Nichols 说。...例如,编译器会产生信息特别丰富错误消息,甚至会突出显示出错代码并给出修复建议。Goregaokar 解释说:“既然给语言引入了一个功能概念,那么使用起来就要让人感到舒服。”...与程序员用来构建 C 代码许多编译器和辅助工具不同,Rust 开发者可以使用一个叫做 Cargo 单一工具来编译 Rust 代码、运行测试、自动生成文档、上传包到存储等等,它还可以自动下载和安装第三方软件包...构建 Rust 应用 下面介绍如何创建一个 GenBank 文件阅读器,以便你进一步了解 Rust 特性。...加州大学戴维斯分校生物信息学家路易斯·艾贝尔说,用 Rust 重写了一个叫 Sourmash 工具软件,它主要功能是执行基因组搜索和分类分析,改用 Rust 后可以减少软件维护成本,使用先进现代语言特性

57930

选择:自建向左;上云向右

近期自己写了一篇稿子,内容是关于使用云RDS服务与自建数据方式对比。文章刊载出来后,有些朋友问到我关于企业数据是否上云?上云后使用自建还是云服务等问题。...云数据与传统数据差异 下面尝试从几个角度,去分析云数据与传统数据之间差异。这也是为后面如何做选择,做一个铺垫。 1)核心功能 对于托管类数据产品而言,其核心功能还是要跟官方产品走。...哪怕企业数据规模不大、使用复杂度不高,使用开源数据也能满足需求,但上述需求还是要满足。于是,前两年平台热很火,很多企业都自建了自己内部运维平台,构建上述能力。当然这种方式有利有弊。...利之处在于,企业可以根据自身需求度身定制,满足个性化需求;弊之处在于,构建能力及花费资源长期维护。 3)云功能 如果说,上述功能企业还是可以容易具备,那么云功能则相对门槛有些高了。...如何看待企业上云成本问题 这是很多企业考虑上云,比较纠结问题;然而从角度来看,这是最不成问题问题。我们分析成本,可以从人力、财力、时间、风险四个维度分析其成本问题。

92430

老人新兵 —— 一款 iOS APP 开发手记

之前接触过不少种编程语言,因此对来说编程语言基本语法理解起来没有什么太大问题,主要是如何能将其特性发挥出来。...尤其在之后开发过程,随着理解深入,越发感受到了它魅力所在。在实现 app UI 有了一定技术基础情况下,便开始了关于 i 数据方面的选择。很早前使用过关系型数据,因此还算有点基础。...另外开发中包管理、版本管理等对来说都是课题,总之每每遇到新问题都是一种修行。上线审核是打算在本次开发中,多接触点课题。最后在 app 中使用了应用内购买、自动续费等多种方式。...如果有 animation 的话,数据多时效率会很低,使用 id 强制重绘可以解决。VStack HStack ZStack版式控制很方便,可以在短时间内就完成复杂版式构图。... app 是有纯本地数据( 无需同步 )和同步数据,各自在不同 Configuration 里。

2.5K40

大模型无法替代码农!普林斯顿芝大惊人发现:GPT-4解决GitHub编程问题成功率为0

---- 智元报道 编辑:编辑部 【智元导读】ChatGPT之类AI编码工具来势汹汹,Stack Overflow又裁员了!...拿钱来 Stack Overflow当然不能坐以待毙,它选择了两种方式自救—— 一是开发自己AI编码工具OverflowAI,二是直接和OpenAI这样科技公司寻求合作,因为这些公司会使用Stack...Stack Overflow首席执行官Prashanth Chandrasekar LLM取代码农,还早着呢 所以,大语言模型真能取代码农吗? 普林斯顿和芝大团队发现,没那么容易!...在实践中,研究者将修改表示为补丁文件,它会指定要修改代码哪些行以解决问题。 如何评价LLM给出方案好不好?...在使用BM25检索器后,Claude 2性能进一步下降到1.96%。 不同资源难度不同。 如果按资源对性能进行细分,就会发现所有模型在不同资源中都表现出相似的趋势。

40030
领券