相关文章
 Ocaml 语言：函数式编程 vs. 命令式编程 | 递归函数的代价 | 尾递归函数（tail-recursive function）)
【PL理论深化】(11) Ocaml 语言：函数式编程 vs. 命令式编程 | 递归函数的代价 | 尾递归函数（tail-recursive function）
💬 写在前面：本章我们来比较在 C 语言中用循环实现的插入排序函数，与前面定义的函数式编程版本。 目录 0x00 函数式编程 vs. 命令式编程 0x01 递归函数的代价 0x02 尾递归函数（tail-recursive function） 0x00 函数式编…
ocaml递归列表March_failure
注意提示：此程序不能包含有些例外情况，比如_::[ ]即一个数字加一个空表的情况
这也说明：hd1和hd2都明确的表示数，不能用空表来替代，而对于hd1::hd2::[ ]，这种情况是被允许的，因为tl是list当然也…
 Ocaml 语言：元组和列表 | 访问元组中的元素 | 列表中的 head 和 tail | 基本列表操作符)
【PL理论深化】(8) Ocaml 语言：元组和列表 | 访问元组中的元素 | 列表中的 head 和 tail | 基本列表操作符
💬 写在前面：本章我们将探讨 OCaml 中的元组（tuple）和列表（list），它们是函数式编程语言中最常用的数据结构。 目录 0x00 元组（Tuple） 0x01 访问元组中的…
OCaml for windows安装
目录 1.获取安装包2.通过Graphical Installer安装OCaml3.测试是否安装成功4.关于cmd里面运行ocaml5.ocaml一个学习博客6.cygwin安装（此操作不需要）Stack Overflow有一个关于win下安装ocaml的帖子，虽然比较旧，但是还是有一点参考价值的：https://stackoverflow.com/question…
OCaml 安装以及简单的加减乘除Demo（以Ubuntu16.04为例）
安装nix
参考 https://mirrors.tuna.tsinghua.edu.cn/help/nix/
安装nix $ sh <(curl https://mirrors.tuna.tsinghua.edu.cn/nix/latest/install) 安装成功后的截图： 安装完成后遇到的问题
以清华镜像站的教程，安装完成之后应该会有对应的配置文件…
OCaml 项目安装与使用指南
OCaml 项目安装与使用指南 setup-ocaml GitHub Action for the OCaml programming language 项目地址: https://gitcode.com/gh_mirrors/se/setup-ocaml
1. 项目介绍
setup-ocaml 是一个 GitHub Action，用于在 GitHub Actions 中设置 OCaml 和 opam 环境。O…
VSCode OCaml Platform：提升OCaml开发体验的利器
VSCode OCaml Platform：提升OCaml开发体验的利器 vscode-ocaml-platform Visual Studio Code extension for OCaml 项目地址: https://gitcode.com/gh_mirrors/vs/vscode-ocaml-platform
项目介绍
VSCode OCaml Platform 是一个专为OCaml开发者设计的Visual…
OCaml 第一章习题
OCaml 第一章练习 文章目录 OCaml 第一章练习最大公约数奇偶判定复合函数函数的n次幂， f n f^n fn函数快速幂， f n f n / 2 ( f n / 2 ) f^nf^{n/2} (f^{n/2}) fnfn/2(fn/2)统计表达式的计算时间柯里化和逆柯里化斐波那契数列求函数的根，二分…
 Ocaml 语言：自定义类型 | 异常处理 | 模块)
【PL理论深化】(9) Ocaml 语言：自定义类型 | 异常处理 | 模块
💬 写在前面：本章我们将继续介绍 OCaml 的基本特性，自定义类型、异常处理和模块。掌握了这些内容后，编写基本程序应该不会有太大困难。接下来的两节将学习函数式编程中常用的两种编程风格 —— 递归函数和高阶函数。
目录
0x00 …
 Ocaml 语言：静态类型语言 | 自动类型推断 | 多态类型和多态函数 | let-多态类型系统 | 模式匹配)
【PL理论深化】(7) Ocaml 语言：静态类型语言 | 自动类型推断 | 多态类型和多态函数 | let-多态类型系统 | 模式匹配
💬 写在前面：OCaml 是一种拥有静态类型系统的语言，本章我们就要探讨静态类型系统。
目录
0x00 静态类型系统（Static Type System）
0x01 自动类型推断（automatic type inference）
0x02 多态类…
OCaml入门（一）——OCaml中的基本数据类型、运算符号、表达式和函数
目录
1.函数式编程（Functional Programming/FP）
2.OCaml中的基本数据类型（Basic Data Type）
3.运算符号(Operator)
3.1算术运算符
3.2逻辑运算符
3.3其他操作符
4.表达式(Expression)
4.1表达式基础知识
4.2 let的用法
…
【Ps问题】PS旋转功能会让图片乱飞的解决方法
问题描述：PS软件的旋转功能【R】每次旋转后图片都不在视口中心 解决办法： 首选项-工具-勾选过界 这样就会使旋转以窗口中心为圆心，不会乱飞
ZYNQ-利用PS引脚实现EMIO GPIO的驱动
学习内容
使用SDK和提供的API进行初始化GPIO，并驱动led和btn进行操作，实现led呼吸灯效果，串口读取btn的值。
开发环境
vivado 18.3 && SDK 开发板 pynq-z2
原理讲解
gpio可以看做一个外设，用于对器件的引脚作观测&am…
ps软件打不开计算机受限制,win10系统打不开ps软件的处理技巧
win10系统使用久了，好多网友反馈说win10系统打不开ps软件的问题，非常不方便。有什么办法可以永久解决win10系统打不开ps软件的问题，面对win10系统打不开ps软件的图文步骤非常简单，只需要 1、通常都会选择直接打开ps软件ÿ…
ZYBOZ7从入门到进阶-5 一zyboz7实现PS-PL端的交互：ps端+pl端开关控制LED
版权声明：本文为博主原创文章，未经博主允许不得转载。https://blog.csdn.net/a646123070 上篇文章我们进行了交叉编译环境的搭建，写完博客后，才意识到PS+PL端的交互实验还没有写。所以，这篇文章就就是实现PS-PL端的交互：ps端+pl端开关控制LED。 Zynq是以PS端的ARM处理器系…