手机版
热门标签
站点地图
我要投稿
广告合作
联系我们
搜 索
广告位招租
广告位招租
切换导航
首页
人工智能
编程教程
编程导航
编程百科
编程问答
编程博文
编程实例
硬件设备
网络运营
软件教程
移动数码
办公软件
操作系统
网络运维
技术频道
▸ 编程语言
▸ 前端开发
▸ 移动开发
▸ 开发工具
▸ 程序设计
▸ 行业应用
▸ CMS系统
▸ 服务器
▸ 数据库
公众号推荐
微信公众号搜
"智元新知"
关注
微信扫一扫可直接关注哦!
typed-racket
typed-racket专题提供typed-racket的最新资讯内容,帮你更好的了解typed-racket。
如何返回列表中一个结构的所有数据
我有一个问题,发生的事情是我找不到从以下列表中取回所有数据的方法: <pre><code>(define lst1 (list (l
作者:佚名 时间:2022-07-21
类型的球拍扩展GUI类
我想扩展类<code>horizontal-panel%</code>,但不知何故我收到了此错误消息: <pre><code>class has init `stretchable-
作者:佚名 时间:2022-06-12
键入的球拍GUI:粘贴板方法设置区域选择无效
我使用typed / racket / gui软件包来构建应用程序。我需要关闭默认情况下已激活的粘贴板%的选择框。通常
作者:佚名 时间:2022-06-11
Typed Racket 是否提供了类型安全的 list-ref 函数?
Typed Racket 是否提供了类型安全的 <code>list-ref</code> 函数? 如果您尝试访问超出范围的索引,<code>lis
作者:佚名 时间:2022-06-02
Typed Racket 中是否存在不安全的强制转换函数?
Typed Racket 中是否存在不安全版本的 <a href="https://docs.racket-lang.org/ts-reference/special-forms.html?q=cast#%28form._%28%
作者:佚名 时间:2022-06-02
Typed Racket 中的 Racket 通用图形库
我试图通过使用 <code>require/typed</code> 导入它来在类型化球拍中使用通用图形库,但我不断收到这些奇怪
作者:佚名 时间:2022-06-02
我如何从命令行运行 Pie来自 The Little Typer?
我已经阅读 The Little Typer 有一段时间了,现在我想真正尝试 Pie 而不是仅仅阅读它。以下是我尝试在命令
作者:佚名 时间:2022-06-01
向球拍中的类添加类型注释
尝试在 Racket 中完成康威生命游戏的实现,我正在为所有内容添加类型。我无法弄清楚我到底需要做什么
作者:佚名 时间:2022-05-29
是否有一种惯用的方式在类型化球拍中表达 Null?
我想在 typed/racket 中使用 struct 定义一个类型。例如: <pre><code>(struct a-node ([line : ProgLine] [latency
作者:佚名 时间:2022-05-17
在折叠树的 Typed Racket 中转换为任意类型
我正在尝试生成一个类型化的 Racket 过程,对于某些类型 <code>A</code>,采用 <code>Tree</code>,以及从两个 <c
作者:佚名 时间:2022-05-11
是否可以通过映射函数和 lambda 使 Typed Racket 推断类型?
在我的 <a href="https://stackoverflow.com/a/67159287/5920214">answer</a> 到 <a href="https://stackoverflow.com/questions/67131843/cas
作者:佚名 时间:2022-05-10
Typed Racket 如何在参数内部中处理带有类型变量的联合?
为了在泛型函数应用中推断类型变量,Typed Racket 生成约束,然后解决它们。 但是它如何处理涉及
作者:佚名 时间:2022-04-22
“n”在Typed Racket中是什么意思?
<code>n</code> 在错误消息的类型级别显示,它是什么? 示例: <pre class="lang-lisp prettyprint-override"><c
作者:佚名 时间:2022-04-22
小编推荐
苹果市值2025年有望达4万亿美元
• 为新品让路!苹果定制版Mac发货延期
• 消息称英伟达RTX 4090/4090D顶级显卡已
• AI识别小偷抢手机,谷歌为安卓推出盗窃
• iPadOS 18来了,iPad现在真的有“生产力
• 谷歌日本整活:打造莫比乌斯外形键盘 正
• 天玑9400核心配置曝光,OV米均已采购,
• iPad和安卓Pad有什么区别?不用这三项功
热门标签
更多
python
JavaScript
java
HTML
PHP
reactjs
C#
Android
CSS
Node.js
sql
r
python-3.x
MysqL
jQuery
c++
pandas
Flutter
angular
IOS
django
linux
swift
typescript
路由器
JSON
路由器设置
无线路由器
h3c
华三
华三路由器设置
华三路由器
电脑软件教程
arrays
docker
软件图文教程
C
vue.js
laravel
spring-boot