OCaml

如何在 C# 12 中使用主构造函数

包括Scala、Kotlin和OCaml在内的多种编程语言都支持直接在声明类的位置集成构造函数参数。在本文中，我们将仔细研究主构造函数以及如何在C#12中使用它们。
沃趣数据库管理平台·2024-01-05 17:24

tracy 学习

同时，互联网上存在许多其他语言的第三方绑定，例如Rust、Zig、C#、OCaml、Odin等。）、GPU（所有主要图形API：OpenGL、Vulkan、Direct3D11/12、OpenCL。）
kiki商·2023-11-06 08:35

Scala编程基础

函数式编程借鉴了SML，OCaml，和F#为代表的ML家族语言很接近，Scala的隐式参数灵感来自Haskell，
ChlinRei·2023-11-03 08:35

unison 安装

1，安装ocaml-4.03.0.tar.gzwgethttp://caml.inria.fr/pub/distrib/ocaml-4.03/ocaml-4.03.0.tar.gz.
梦塔切·2023-10-30 10:21

在Windows 10上面安装OCaml

昨天晚上在Windows10上面安装OCaml发生了一个错误。
空庖·2023-10-24 01:59

ZKP3.2 Programming ZKPs (Arkworks & Zokrates)

PratyushMishraandAlexOzdemir)3.3Usingalibrary(+tutorial)R1CSLibrariesAlibraryinahostlanguage(Eg:Rust,OCaml
Simba14·2023-10-18 22:48

Ocaml 学习笔记

之前研究Mina项目，学习下Ocaml语法。ATourBase提供了基本的标准库，Core对Base进行了扩展。
雪落无留痕·2023-10-05 16:41

OCaml简介

OCaml简介函数式编程产生于优点ref:https://zhuanlan.zhihu.com/p/591818090函数式编程传统的编程语言是面向过程、面向对象的，产生于20世纪80-90年代产生于法国巴黎高等师范学院
巴啦啦小魔仙变身·2023-09-18 08:21

2020-09-02 .cxx_destruct

DLIntrospection4.使用watchpoint定位内存释放时刻watchpoint5.引申出一个问题DLIntrospection这个项目中的xctest怎么运行mmp，我擦竟然看了最后一行OCaml
吉林天师·2023-09-10 06:19

Windows安装WSL+OCaml开发环境

在Windows上尝试多种OCaml开发环境方案后，最后还是选择WSL方案。这里做个简单记录，以备日后查用。
shixiongfei·2023-07-25 04:40

安装M2Crypto、安装SWIG

支持的语言列表还包括非脚本语言，如C#，D，Golanguage，Java，包括Android，Lua，OCaml，Octave，Scilab和R。还支持几种解释和编译的Schem
xiaoming0018·2023-07-19 09:34

Linux ALSA 音频采集

首先sudoapt-getinstalllibalsa-ocaml-dev下载alsa开发库。
chenchao_shenzhen·2023-06-15 16:08

如何评价编程语言 Reason?

Reason基于OCaml语言，并引入了JavaScript的语法和工具链，使得开发者能够在现有的JavaScript生态系统中更好地开发和维护代码。
ClonBrowser·2023-06-11 09:40

iOS代码静态分析工具—Facebook Infer的安装及使用

Infer的介绍下面，我就跟大家介绍一款在iOS开发中常用的静态分析工具-Infer:Infer是Facebook开源的、使用OCaml(https://ocaml.org/)写成的，可以对J
绿豆粥与茶叶蛋·2023-04-10 13:58

函数加里化和偏函数应用的总结

有些语言(例如Haskell,OCaml)所有的多参函数都是在内部通过函数加里化实现的。
小牛智慧谷·2023-02-02 10:09

【Thrift】Thrift框架和使用教程-- C/S框架使用教程

来定义RPC的接口和数据类型，然后通过一个编译器生成不同语言的代码（目前支持C++,Java,Python,PHP,Ruby,Erlang,Perl,Haskell,C#,Cocoa,Smalltalk和OCaml
bandaoyu·2023-01-27 23:19

.NET GC 暂停时间分析

一切的起源都是源于一片研究HaskellGC延迟的文章，之后又发布了一篇Haskell,OCaml和Racket对比，之后就是GoGC的理论与实践,最后还有一篇Erlang的GC情况在阅读了上面的文章之后
雨生_·2023-01-26 01:54

OCaml实用工具

本人主要为了扩展sgx_edger8r，所以学习了一番OCaml。
小气球归来·2022-09-28 18:43

Python利用capstone实现反汇编

该框架使用C语言实现，但支持C++、Python、Ruby、OCaml、C#、Java和Go语言，具有很好的扩展性。
·2022-04-06 10:32

Ubuntu 20.04下编译mysql

libaio-devopenssllibssl-devlibncurses5-devlibreadline-devlibreadline-devlibpam0g-devzlib1g-devlibcurl-ocaml-dev
洛茄·2021-10-06 23:34

rust做嵌入式开发_Rust：一个不再有 C/C++ 的，实现安全实时软件的未来

Rust作为新兴编程语言深受Haskell和OCaml等函数式编程语言的影响，使得它在语法上与C++类似，但在语义上则完全不同。
weixin_39866817·2020-12-20 07:56

使用唯一id,生成唯一字符串订单号,唯一邀请码等唯一字符串,并可以反序列化原id

,Ruby,Python,Java,Scala,PHP,Perl,Perl6,Swift,Clojure,Objective-C,C,C++11,D,F#,Go,Erlang,Lua,Haskell,OCaml
吃馍夹菜·2020-11-24 09:53

使用唯一id,生成唯一字符串订单号,唯一邀请码等唯一字符串,并可以反序列化原id

,Ruby,Python,Java,Scala,PHP,Perl,Perl6,Swift,Clojure,Objective-C,C,C++11,D,F#,Go,Erlang,Lua,Haskell,OCaml
吃馍夹菜·2020-11-13 11:17

在ubuntu上安装Ocaml的RPM包的一点经验

今天想在ubuntu上安装ocaml-3.10.1-1.fc7.src.rpm，遇到了一些问题，其实很简单，但是记录下来防止以后忘了：如果输入：sudoapt-getinstallalienocaml-
蛐蛐蛐·2020-09-15 17:36

Linux 下 Thrift 的安装

用于支持可扩展的跨语言服务的开发，它无缝的与C++，Java，Python，PHP，Ruby，Erlang,Perl,Haskell,C#,Cocoa,JavaScript,Node.js,Smalltalk,以及OCaml
小屁孩的流年0_0·2020-09-14 01:55

实战：2019 0ctf final Web Writeup（一）

比赛过程中，web共4道题，我有幸做出3道，java实在不太擅长，哭了（另一道是ocaml的题目，涉及小trick和逻辑问题，准备放在后面和java一起编写（希望不要咕咕咕了）。
systemino·2020-08-25 17:11

链接时库的顺序问题

原文：http://www.cnblogs.com/OCaml/archive/2012/06/18/2554086.html#sec-1-1折腾gcc/g++链接时.o文件及库的顺序问题1gcc/g+
LL-Studio·2020-08-24 13:11

Standard ML快餐教程(1) - 初识

打算写三种语言：StandardML，ocaml和Haskell。这几门语言都不是新贵了，其中StandardML的知名度可能最低。
Jtag特工·2020-08-22 02:26

ubuntu linux下使用google drive

方法有很多像Grive2这样的工具，以及更容易使用的以Ocaml语言编写的基于FUSE的文件系统。我将会用后面这种方式演示如何在Linux桌面上挂载你的GoogleDrive。
ziyou飞翔·2020-08-18 22:30

Netty权威指南 第2版学习笔记7——MessagePack编解码及LengthFieldBasedFrameDecoder

一样支持不同语言间的数据交换，速度更快，序列化之后的码流更小MessagePack特点编解码高效，性能高序列化后的码流小支持跨语言其支持的语言有：Java、Python、Ruby、Haskell、C#、OCaml
谢厂节_编程圈·2020-08-15 04:45

Ocaml基本认识

1、Ocaml概述StartingwithOCaml3.05,therearenolessthanthreeportsofObjectiveCamlforMSWindowsavailable:-anativeWin32port
阿苏·2020-08-14 08:24

在ubuntu14.04 编译openwrt 遇到问题解决汇总

问题1出现错误：Builddependency:PleaseinstalltheObjectiveCamlcompiler(ocaml-nox)v3.12orlater解决方法sudoapt-getinstallocaml
ffilman·2020-07-29 18:48

Visual Studio Code 配置runcode

,Go,Lua,Groovy,PowerShell,CMD,BASH,F#,C#,VBScript,TypeScript,CoffeeScript,Scala,Swift,Julia,Crystal,OCaml
zheng2263·2020-07-06 12:03

Rust 语言新人入门指南

如果你来自Haskell/Ocaml等函数式语言社区，你会有相当的亲切感。对于有丰富C++开发经验的同学来说，上手可能相对比较容易。
MikeLoveRust·2020-07-05 16:02

Univ. Washington video course： Programming Languages

http://www.cs.washington.edu/education/courses/csep505/06sp/本课程以Caml/Ocaml为蓝本介绍现代程序语言中的诸多特性，虽然这不是编译原理的课程
iteye_19148·2020-07-04 18:15

【我的区块链之路】- 随便说一说 Tezos

架构图开发语言：底层：OCaml语言(理由，函数式编程有比较强大的形式化验证功能，可以在一定程度上预防代码漏洞)合约：Michels
GavinXujiacan·2020-07-01 03:42

每个编程人员都需要至少掌握三种编程语言

对于我来说，它是OCaml(现在还有JavaScript，尽管我正在把CoffeeScript吸收进我的世界里)。对于很多人来说，它可能是LISP或Haskell。
zhouyrt·2020-06-30 16:33

ocaml学习

ocaml与haskell一样，是functionalprogramming的代表。
weixin_33881050·2020-06-28 07:37

BAP——一个二进制程序分析平台

BAP主页BAP是一个编写程序分析工具的框架，它的特点和优势如下：针对二进制程序用Ocaml编写，提供了C,Python,Rust等语言接口工作流程为二进制程序->汇编指令->BIL/BIR中间表达->
我爱写报告·2020-06-24 12:19

新项目开发及运行环境配置-nodejs前台+java后台+postgresql数据库+nginx+tomcat+svn单向备份

centos配置ocaml及unison进行双向文件同步搭建【centos】配置postgresql数据库。【java开发部署】利用svn及ocaml及
码农下的天桥·2020-06-22 20:53

Thrift简介

ActionScript3,glibc,cocoa(iOS),C++,C#,delphi,erlang,go,haskell,html,java,javame(山寨机),jquery,node.js,Ocaml
红枣nice·2020-06-21 14:06

Android APP代码扫描Infer篇

由OCaml语言编写的Infer目前能检测出空指针访问、资源泄露以及内存泄露，可对C、Java或Objective-C代码进行检测。Fa
吃栗子夫斯基波娃·2020-03-14 02:30

JavaScript无处不在，Bloomberg 开源BuckleScript 1.0 助力JS平台大规模高性能软件开发

作者:**张宏波**，前OCaml编译器核心作者，现BuckleScript作者。
尾尾·2020-03-11 02:54

Infer客户端代码扫描实践

opam>=1.2.0（https://opam.ocaml.org/doc/Install.html#OSX）Python>2.7Java(FortheJavaanalysis)clanginXcodecommandlinetools
静jingjing·2020-03-08 15:39

Thrift入门基础知识-Types类型说明（IDL类型简介）

和代码生成工具来生成各个语言的服务代码，目前支持的语言有C++,Java,Python,PHP,Ruby,Erlang,Perl,Haskell,C#,Cocoa,JavaScript,Node.js,Smalltalk,OCaml
芳Hua吖·2020-03-06 14:38

反汇编引擎Capstone

该框架使用C语言实现，但支持C++、Python、Ruby、OCaml、C#、Java和Go语言，具有很好的扩展性。
大学霸IT达人·2020-02-13 20:25

OCaml体验

安装：http://ocaml.org/docs/install.html文档：http://caml.inria.fr/pub/docs/manual-ocaml/OPAM安装方式：wgethttps
华山论剑·2020-02-02 17:43

从0开发3D引擎（七）：学习Reason语言

上一篇博文从0开发3D引擎（六）：函数式反应式编程及其在引擎中的应用下一篇博文从0开发3D引擎（八）：准备“搭建引擎雏形”介绍ReasonReason又叫Reasonml，是在Ocaml语言的基础上修改而来
Wonder-YYC·2020-01-23 10:00

Apache Thrift Learning Notes

将软件堆栈与代码生成引擎结合在一起，以构建可在C++，Java，Python，PHP，Ruby，Erlang，Perl，Haskell，C＃，可可，JavaScript，Node.js，Smalltalk，OCaml
麦奇·2019-09-29 11:00

进一步理解Python中的函数编程

一个答案可能会说FP就是您在使用例如Lisp、Scheme、Haskell、ML、OCAML、Clean、Mercury、Erlang（或其它一些）语言进行编程时所做的。
·2019-09-25 02:03
上一页 1 2 3 4 5 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他