ocaml-core 相关问题


找不到 .ocamlinit 文件

我正在尝试为 Real World OCaml 书设置 OCaml 环境。 我需要 OCaml、OPAM、Utop 和 Core 库。我已经能够安装 OCaml、OPAM 和 Utop,但我在设置时遇到问题...


Windows 支持 Jane Street OCaml Core?

我正在阅读 https://realworldocaml.org/ (顺便说一句,这是一本很棒的书),所有示例都假设使用 Jane Street Core 库。我还不熟悉 OCaml 环境并且


在Ocaml中编译多文件项目,导致Unbound Module错误

上下文 我目前正在尝试学习 OCaml 的基础知识(通过 2022 年代码挑战的到来)。我的目标是仅使用 OCaml 标准库并编写我自己的 make 来获得基本知识 -


为什么会发生这种情况(Ocaml)

在 Ocaml 语言中,目标是组合(追加)两个列表,同时删除重复项。 让rec find_dup a lst = 匹配 lst 与 | [] -> 假 | hd::tl -> if (hd == a) then true e...


OCaml 标准地图与 Jane Street Core.std 地图

所以我在程序中使用 Jane Street 的 Core.std 来处理某些事情,但仍然想使用标准的 OCaml Map。但是,当我调用像 mem 这样的函数时,它需要 Core.std 的签名


在 Caml Async 中等待 Writer.write 完成

我有以下简单的 OCaml 异步作业,该作业应该写入文件并终止进程。 Unix.openfile "foobar" ~mode:[`Creat;`Rdwr] >>= 有趣的 fd -> 让 wr = Writer.cre...


solver_get_unsat_core() 返回空核心

我正在尝试使用 OCaml API 编写一个简单的 Z3 问题来提取未饱和的核心。问题是返回的 unsat 核心不应该是空的。你有什么想法或者你可以...


为什么GHC这么大/大?

有没有一个简单的答案:为什么GHC这么大? OCaml:2MB Python:15MB SBCL:9MB OpenJRE - 26MB GHC:113MB 对“如果 Haskell 是最重要的,为什么我不应该关心大小”的宣传不感兴趣......


使用 OCaml Async 进行并发写入

我正在从网络读取数据,我想在收到数据时将其写入文件。写入是并发且非顺序的(想想 P2P 文件共享)。在 C 中,我会得到一个文件描述符......


.net core 3.1 中 [RoutePrefix("api/{controller})] 的替代品是什么?

我正在迁移Asp.net(.net框架)项目Asp.net core(.net core 3.1框架)。 我无法找到替代方案 [RoutePrefix("api/{controller})] 在.net core 3.1 中? 任何想法,如何...


使用 EF Core 和 GraphQL 在 ASP.NET Core 中保留唯一的连续组编号

我正在使用 ASP.NET Core Minimal API (.NET 7) 和 Entity Framework Core、HotChocolate(用于 GraphQL)和 Microsoft SQL Server 数据库开发 API 后端。我遇到了一个特定的挑战...


将 dotnet core (.NET Core) 嵌入到 Windows/Linux 上的本机应用程序中

是否有可能将 dotnet core (.NET Core) 环境嵌入到本机进程中? 我的用例是现有的游戏服务器,我想在其中提供扩展游戏的可能性...


.Net core Web API 将 json/model 值设置为 NULL

我有一个 .Net core Web API,它接受以下 JSON:(RequestModel) { “isSpecimen”:正确, “形式”: { “网络”:{ “abc1...


找不到 ASP.NET Core Web 应用程序(.NET Core)项目模板

我目前正在实习的公司学习上级发给我的 C# 教程。该教程可能有点旧,因为它说“选择 ASP.NET Core Web 应用程序...


“在‘redux’中找不到导出‘createStore’

./node_modules/@redux-saga/core/dist/redux-saga-core.esm.js 中的警告 1343:21-28 “在‘redux’中找不到导出‘compose’ @ ./node_modules/redux-saga/dist/redux-saga-core-npm-proxy.esm.js ...


Angular CLI 版本与 Angular Core 版本之间的兼容性?

有什么方法可以知道要安装哪个与我的 Angular Core 版本兼容的 Angular CLI 版本?他们完全独立吗? 使用 Core v5.2.8 开发现有的 Angular 应用程序...


EF Core 新验证属性“DeniedValues”与“StringComparison”不起作用

EF Core 新验证属性 DeniedValues 与 StringComparison 不起作用: [DeniedValues("坏", "哈哈", StringComparison.OrdinalIgnoreCase)] 公共字符串名称{获取;是...


从 ASP.NET Core 8 Web API 将自定义角色保存在 AspNetUserRoles Identity 表中

我正在尝试为基于 Angular 和 .NET Core 的 Web 应用程序开发后端 ASP.NET Core 8 Web API。我已使用代码优先迁移在 SQL Server 数据库中创建了 Identity 表。 ...


Entity Framework Core“未将对象引用设置为对象的实例”,并在 LINQ 中使用嵌套的 .Any

我有一个使用 Entity Framework Core 1.0.0 的 ASP.NET Core 应用程序。 在特定查询中,我收到“对象引用未设置到对象实例”异常。 查询是


从 .NET Core 3 升级到 .NET 8 后面临一些 EF Core 版本问题

我已将我的应用程序从 .NET Core 3 升级到 .NET 8。当我尝试运行我的应用程序时,出现以下错误: 未处理的异常。 System.TypeLoadException:无法加载类型“Microsoft”。


ASP.NET Core 6 中的 AddEndpointsApiExplorer 是什么

我正在将 ASP.NET Core API 项目从 v5 升级到 v6。 v5 中的服务配置: services.AddSwaggerGen(); v6 中的服务配置: builder.Services.AddEndpointsApiExplorer(); // 这是什么? 建设者。


ASP.NET Core 应用程序中对“Microsoft.WindowsDesktop.App”的意外要求

我的 ASP.NET Core (.NET 6.0) API 应用程序的 Visual Studio 解决方案最近发生的更改导致需要“Microsoft.WindowsDesktop.App”,框架条目为


ASP.NET Core razor 页面 - 使用 asp-route-

我已经为我的 asp.net core 项目 (.NET 8) 实现了基于路由的本地化。基本上满足这些要求: 当请求根(path = '/')时,CultureInfo.CurrentCulture 是...


dotnet core中的[ScriptIgnore]在哪里?

我正在将一个大型存储库转换为.net core,但我无法找到以前位于 System.Web.Script.Serialization 内部的 [ScriptIgnore] 属性的替代品。 有没有替代品...


当数据库不存在时 EF Core 和 SQL Server 出现意外行为

我有一个桌面应用程序,它使用 .NET Core 8 和 EF Core 与 SQL Server。 当我需要测试迁移时,我通常会删除生成的数据库,但不知何故,我开始收到这个奇怪的信息......


需要演示 DataTypeAttribute 的这种用法(如 Microsoft 教程中所述)

我正在从 ASP.NET MVC 迁移到 ASP.NET Core,同时学习此页面上的 Microsoft 文档 https://learn.microsoft.com/en-us/aspnet/core/tutorials/razor-pages /验证?view=aspn...


Entity Framework Core 7 连接证书信任异常

我最近在开发中升级到 Entity Framework Core 7,但遇到异常,“已成功与服务器建立连接,但在连接过程中发生错误...


尝试使用 EF Core 7 添加迁移时“Fragment”没有实现异常

当我尝试使用 EF Core (7.0.0-rc.1.22426.7) 添加迁移时,控制台中出现以下错误: System.TypeLoadException:类型“Microsoft”中的方法“Fragment”。


Demandware - 未找到当前域的管道

我已经做好了管道。效果很好。突然它给出了类似的错误 2015-12-18 02:39:08.091 GMT] 错误 system.core ISH-CORE-2368 Sites-SiteGenesis-Site core Storefront [uuid] [request-id...


WMI 已弃用:现在如何从 .Net Core 查询?

我在这里读到 Microsoft 正在弃用 WMI。我需要在 .NET Core 中启动一个项目并从 Windows 查询信息,例如Win32_OperatingSystem 或 Win32_LogicalDisk。 我读到你...


在 ASP.NET Core 7 WebAPI 上运行 React-App 构建

我有一个 ASP.NET Core 7 WebAPI,有很多路由,例如: domain.com/Api/Product/GetAll domain.com/Api/Product/Delete/ domain.com/Api/Product/Create ... 我有一个反应应用程序,我需要使用它


从 net core 2.1 迁移到 net core 7 的问题

将我的entityframeworkcore从2.0迁移到7.0后。我的自定义代码中出现错误。你能帮忙解决这个问题吗 公共静态任务 SingleOrDefaultById(此 DbSe...


如何将数据从一个组件共享到另一个组件

我有两个组件:主页组件和产品列表组件。 这是我的 home.component.ts: 从 '@angular/core' 导入 { Component } ; 从“@angular/core”导入{NgModule}; 导入{产品...


ASP.NET Core Json 对象的格式很奇怪,带有 \u0022

我计划从 ASP.NET Core 控制器执行 JSON 响应,但它并不像我想象的那么简单。 像 {"ConfigValue":"192.168.1.125:1880"} 这样的简单字符串应该是


C# .NET Core 3.1 无法建立 SSL 连接

我在 SAP 的 docker 容器内使用 OData 服务和 C# ASP.NET Core 3.1 服务,并具有客户自签名证书。 与此同时,我尝试了一千件事,但错误


EF Core 区分大小写的主键

我在应用程序中使用 EF Core 与数据库交互,并使用代码优先方法来生成和迁移所述数据库。 我有从 API 接收的实体...


Cuda Tensor Core:矩阵大小仅为 16x16

我有这个非常简单的代码来将两个矩阵与 Cuda Tensor Core 相乘 constexpr int M = 16; constexpr int N = 16; constexpr int K = 16; /* * 矩阵 A = M x N,B = N x K,C = M x K => ...


将 appsettings.{env}.json 合并到 .NET Core 3.1 中的 appsettings.json

我了解 .NET Core 3.1 中的默认行为是,当您发布解决方案时,它会将所有 appsettings.{env}.json 文件复制到最终包中,这取决于您的环境...


生成的 .NET Core 2.2 exe 在不同的端口上启动

我想为我的 .NET Core 2.2 应用程序生成一个 .exe 并在某个端口(假设为 5432)上启动它。我将 win-x64 添加到我的 .csproj 以生成...


HtmlHelpers Html.LabelFor/TextBoxFor/EditorFor 在 ASP.NET Core Razor 页面中无法识别

我有一个从 .NET Core 3.1 迁移的 .NET 5.0 MVC 项目,但使用 Html.LabelFor、Html.TextBoxFor 或 Html.EditorFor 的表单不显示输入。 看法: @模型更新产品视图模型; @{ 使用...


在 Android studio 中发现重复类错误。(androidx.core:core:x.x.x)

我的应用程序工作正常,但我尝试重建我的应用程序,但我不断收到这些错误 在模块 core-1.13.0.aar -> core-1 中发现重复的类 android.support.v4.app.INotificationSideChannel ....


如何在.net core API中获取客户端主机名

我创建了一个 Angular 前端和 .net core C# API。客户端应用程序(角度)托管在两个独立的域名中,例如 abc.com 和 xyz.com。我需要知道如何到达


使用 Entity Framework Core 6 对表的子集应用逆向工程

我正在开发 ASP.NET Core Web API (.NET 6),我想仅对某些表应用逆向工程。因为数据库相当广泛,我不需要所有的表,只需要一些


VS2017:为什么razor项目仍然引用MVC?

我对 ASP.NET Core 2.0 的 MVC 和 razor 项目非常困惑。 在 Visual Studio 2017 中我执行以下操作: 新项目 Web ASP.NET Core 应用程序 (C#) Web 应用程序(不是 Web 应用程序 MV...


在ExceptionFilter中使用ILogger

我想在 ExceptionFilter 中使用 .NET Core Logger,如下所示: 公共类 GlobalExceptionAttribute :ExceptionFilterAttribute { 私有只读 ILogger _logger;...


ASP.NET Core MVC jQuery UI

我对 C# 中的 ASP.NET Core MVC 非常陌生。我在水平排列的窗口中有 2 个数据网格或数据表。我在两个网格之间排列了一些按钮。 如何创建如下所示的 UI?拜...


在 ASP.NET Core 中将数据保存到数据库时遇到问题

创建菜谱时,我的 ASP.NET Core MVC 应用程序遇到问题。该问题涉及无法将配方成分保存到数据库中。虽然主要食谱详细说明...


使用 Tensor Core 时未注册共享内存加载

我正在尝试在采用图灵架构设计的 GPU 上使用 Tensor Core 来乘以 8x8 大小的块。为此,我使用 WMMA API 和大小为 16x16 的片段。我的假设是共享的


在NAS Synology中发布Net Core Web API,Web根路径问题

我正在尝试使用 hgy59 的 Synology 套件“.NET 6.0 Runtime”来创建一个小型网站。我正在使用这篇文章的示例: 在 NAS 中发布 Net Core Web API Synology 我找不到...


为什么 Razor Pages 项目仍然引用/依赖 MVC?

我对 ASP.NET Core 2.0 的 MVC 和 Razor Pages 项目非常困惑。 在 Visual Studio 2017 中我执行以下操作: 新项目 Web ASP.NET Core 应用程序 (C#) 网络应用程序(不是网络应用程序...


© www.soinside.com 2019 - 2024. All rights reserved.