欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Haskell Desktop Foundation
来自开放百科 - 灰狐
（版本间的差异）
小 (→项目) |
小 (→链接) |
||
| （未显示1个用户的31个中间版本） | |||
| 第2行： | 第2行： | ||
==简介== | ==简介== | ||
| − | Functional Desktop/IDE/Editor Stack, powered by [[Haskell]] and [[GTK]]. | + | Functional Desktop/IDE/Editor Stack, powered by [[Haskell]], [[xmonad]] and [[GTK]], [[Qt]], support [[GNOME]], [[KDE]], [[Xfce]], LxQt and [[Windows]], [[macOS]] Desktop Environment. |
一个 Haskell 桌面应用生态系统。 | 一个 Haskell 桌面应用生态系统。 | ||
| + | |||
| + | *[[Haskell Web Foundation]] | ||
| + | *[[Haskell DSL Foundation]] | ||
==功能== | ==功能== | ||
| 第12行： | 第15行： | ||
==应用== | ==应用== | ||
[[文件:Carp-lang.png|right|Carp语言]] | [[文件:Carp-lang.png|right|Carp语言]] | ||
| − | *[[Carp]] 是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 [[Lisp]]，没有 GC，用于实时应用。Carp 借鉴了 [[Clojure]] 的表达方式，和 Clojure 很像，其运行时语义更接近 [[ML]] 或 [[Rust]] | + | *[[Carp]] 是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 [[Lisp]]，没有 GC，用于实时应用。Carp 借鉴了 [[Clojure]] 的表达方式，和 Clojure 很像，其运行时语义更接近 [[ML]] 或 [[Rust]]。可考虑将 Carp 引入 [[Godot]] 等游戏引擎，成为游戏脚本开发语言。 |
*桌面生产力工具 | *桌面生产力工具 | ||
*视频编辑器 | *视频编辑器 | ||
| 第22行： | 第25行： | ||
==项目== | ==项目== | ||
*[https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html The State of Haskell IDEs] | *[https://mpickering.github.io/ide/posts/2020-05-08-state-of-haskell-ide.html The State of Haskell IDEs] | ||
| + | *[https://github.com/lamdu/lamdu lamdu] towards the next generation IDE | ||
*[https://github.com/lettier/gifcurry Gifcurry] Haskell-built video editor for GIF makers. [https://codeburst.io/how-to-build-a-custom-gtk-widget-with-haskell-eaff04a6262 How To Build A Custom GTK Widget With Haskell] | *[https://github.com/lettier/gifcurry Gifcurry] Haskell-built video editor for GIF makers. [https://codeburst.io/how-to-build-a-custom-gtk-widget-with-haskell-eaff04a6262 How To Build A Custom GTK Widget With Haskell] | ||
*[https://xmonad.org/ XMonad] | *[https://xmonad.org/ XMonad] | ||
| 第30行： | 第34行： | ||
*[https://github.com/haskell/lsp lsp] [https://github.com/haskell/haskell-language-server Haskell Language Server (LSP)] | *[https://github.com/haskell/lsp lsp] [https://github.com/haskell/haskell-language-server Haskell Language Server (LSP)] | ||
*[https://github.com/gtk2hs Gtk2Hs] | *[https://github.com/gtk2hs Gtk2Hs] | ||
| − | |||
*[https://github.com/haskell-gi haskell-gi] | *[https://github.com/haskell-gi haskell-gi] | ||
*[https://github.com/crosswire/xiphos Xiphos] using [[GTK]] and [[Scheme]]. | *[https://github.com/crosswire/xiphos Xiphos] using [[GTK]] and [[Scheme]]. | ||
| 第38行： | 第41行： | ||
*[https://github.com/mmsbrggr/hsudoku λsudoku] A native [[GTK]] sudoku game written in Haskell | *[https://github.com/mmsbrggr/hsudoku λsudoku] A native [[GTK]] sudoku game written in Haskell | ||
*[https://github.com/hasufell/hsfm HSFM] FileManager written in haskell | *[https://github.com/hasufell/hsfm HSFM] FileManager written in haskell | ||
| + | *[https://github.com/qwfy/doc-browser Doc Browser] support for DevDocs, Dash and Hoogle, written in Haskell and [[QML]] | ||
| + | |||
| + | ==图形学== | ||
| + | Haskell 对计算机图形学、3D图形学、虚拟环境、[[OpenGL]]、[[Vulkan]] 等技术的支持和项目应用： | ||
| + | *[https://hackage.haskell.org/packages/tag/graphics Haskell graphics packages] | ||
| + | *[https://github.com/haskell-opengl Haskell OpenGL] [https://wiki.haskell.org/OpenGL OpenGL @ Haskell] | ||
| + | *[http://hackage.haskell.org/package/OpenGLRaw OpenGLRaw] contains a low-level wrapper around [[OpenGL]], which is basically a 1:1 mapping of the C API. | ||
| + | *[http://hackage.haskell.org/package/GLURaw GLURaw] is similar to OpenGLRaw, just for the GLU part of OpenGL. | ||
| + | *[http://hackage.haskell.org/package/OpenGL OpenGL] is the high-level view on OpenGL, wrapping OpenGLRaw into something more Haskell-like. | ||
| + | *[http://hackage.haskell.org/package/GLUT GLUT] is a binding for the OpenGL Utility Toolkit. | ||
| + | *[https://github.com/expipiplus1/vulkan Haskell bindings for Vulkan] | ||
| + | *[https://github.com/sleexyz/hylogen H Y L O G E N] An embedding of GLSL in Haskell. | ||
| + | *[https://reanimate.github.io/ Reanimate] Build declarative animations with [[SVG]] and Haskell | ||
| + | *[https://github.com/diagrams diagrams] [[DSL]] for creating vector graphics | ||
| + | |||
| + | ==电影== | ||
| + | Haskell Movie Foundation (HMF)：涉及电影、音乐、视频、动画领域 | ||
| + | [[文件:ASWF-logo.png|right|ASWF]] | ||
| + | [[文件:haskell-euterpea.png|right|Euterpea]] | ||
| + | *跟进 [https://github.com/AcademySoftwareFoundation Academy Software Foundation]，融合 [[Haskell ecosystem]]，提供 Haskell 工具。 | ||
| + | *[https://gitlab.com/chupin/arpeggigon Arpeggigon] 一个 FRP 响应式音乐工具 | ||
| + | *[https://github.com/lettier/movie-monad Movie Monad] 视频播放器, A [[GTK]] Video Player Built with Haskell | ||
| + | *[https://github.com/Euterpea Euterpea] 是一种用于电子音乐的嵌入 Haskell 的 [[DSL]] [https://www.cs.yale.edu/homes/hudak/Papers/HSoM.pdf 《The Haskell School of Music》] | ||
==游戏== | ==游戏== | ||
| 第46行： | 第72行： | ||
*[https://github.com/rainbyte/frag Frag] a Haskell FPS | *[https://github.com/rainbyte/frag Frag] a Haskell FPS | ||
*[http://lambdacube3d.com/ LambdaCube 3D] [https://lambdor-net.readthedocs.io/lambdacube.html Connecting Yampa with LambdaCube-Engine] | *[http://lambdacube3d.com/ LambdaCube 3D] [https://lambdor-net.readthedocs.io/lambdacube.html Connecting Yampa with LambdaCube-Engine] | ||
| + | *[https://github.com/mchakravarty/HaskellSpriteKit HaskellSpriteKit] Haskell binding to Apple's SpriteKit framework | ||
| + | *[[Godot]] + Haskell/[[Carp]] | ||
| + | *[https://github.com/verement/etamoo EtaMOO] 是一个用 Haskell 编写的 LambdaMOO 服务器的新实现 | ||
| + | *[https://github.com/nionita/Barbarossa Barbarossa] a chess engine written completely in Haskell | ||
| + | *[https://github.com/entropia/tip-toi-reveng tip-toi-reveng] 每个人都可以用自己的声音创造属于自己的图书 | ||
| + | |||
| + | ==出版系统== | ||
| + | 推进 [[OpenBook]] 开放出版系统。 | ||
| + | |||
| + | ==操作系统== | ||
| + | *[[Xmonad]] + [[GNOME]], [[KDE]], [[LXQt]] ... | ||
==问题== | ==问题== | ||
Exception: user error (unknown GLUT entry glutInit) | Exception: user error (unknown GLUT entry glutInit) | ||
| + | https://github.com/haskell-opengl/GLUT | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
image:hsfm-gtk.png|HSFM文件管理器 | image:hsfm-gtk.png|HSFM文件管理器 | ||
| + | image:Haskus-System-Graphics-Pipeline.png|图片处理 | ||
</gallery> | </gallery> | ||
| 第61行： | 第100行： | ||
[[category:IDE]] | [[category:IDE]] | ||
[[category:IDEX]] | [[category:IDEX]] | ||
| + | [[category:ASWF]] | ||
[[category:haskell]] | [[category:haskell]] | ||
[[category:GTK]] | [[category:GTK]] | ||
[[category:desktop environment]] | [[category:desktop environment]] | ||
| + | [[category:computer graphics]] | ||
[[category:Huihoo Foundation]] | [[category:Huihoo Foundation]] | ||
2022年7月4日 (一) 06:26的最后版本
Haskell Desktop Foundation
目录 |
[编辑] 简介
Functional Desktop/IDE/Editor Stack, powered by Haskell, xmonad and GTK, Qt, support GNOME, KDE, Xfce, LxQt and Windows, macOS Desktop Environment.
一个 Haskell 桌面应用生态系统。
[编辑] 功能
[编辑] 指南
[编辑] 应用
- Carp 是一种旨在为互动和性能应用（如：游戏、语音视频、声音合成和可视化）提供良好支持的编程语言。Carp 是一个静态类型的 Lisp，没有 GC，用于实时应用。Carp 借鉴了 Clojure 的表达方式，和 Clojure 很像，其运行时语义更接近 ML 或 Rust。可考虑将 Carp 引入 Godot 等游戏引擎，成为游戏脚本开发语言。
- 桌面生产力工具
- 视频编辑器
- 2D/3D 图形和模型构建
- 游戏引擎
- 写作出版系统
- 数据可视化
[编辑] 项目
- The State of Haskell IDEs
- lamdu towards the next generation IDE
- Gifcurry Haskell-built video editor for GIF makers. How To Build A Custom GTK Widget With Haskell
- XMonad
- ImplicitCAD
- Leksah Haskell IDE
- Yi The Haskell-Scriptable Editor
- Haskell IDE Engine (HIE) 已存档
- lsp Haskell Language Server (LSP)
- Gtk2Hs
- haskell-gi
- Xiphos using GTK and Scheme.
- gi-gtk-declarative Haskell 声明式 GTK+ 编程
- webviewhs Haskell binding to the webview
- Glance A visual Haskell
- λsudoku A native GTK sudoku game written in Haskell
- HSFM FileManager written in haskell
- Doc Browser support for DevDocs, Dash and Hoogle, written in Haskell and QML
[编辑] 图形学
Haskell 对计算机图形学、3D图形学、虚拟环境、OpenGL、Vulkan 等技术的支持和项目应用：
- Haskell graphics packages
- Haskell OpenGL OpenGL @ Haskell
- OpenGLRaw contains a low-level wrapper around OpenGL, which is basically a 1:1 mapping of the C API.
- GLURaw is similar to OpenGLRaw, just for the GLU part of OpenGL.
- OpenGL is the high-level view on OpenGL, wrapping OpenGLRaw into something more Haskell-like.
- GLUT is a binding for the OpenGL Utility Toolkit.
- Haskell bindings for Vulkan
- H Y L O G E N An embedding of GLSL in Haskell.
- Reanimate Build declarative animations with SVG and Haskell
- diagrams DSL for creating vector graphics
[编辑] 电影
Haskell Movie Foundation (HMF)：涉及电影、音乐、视频、动画领域
- 跟进 Academy Software Foundation，融合 Haskell ecosystem，提供 Haskell 工具。
- Arpeggigon 一个 FRP 响应式音乐工具
- Movie Monad 视频播放器, A GTK Video Player Built with Haskell
- Euterpea 是一种用于电子音乐的嵌入 Haskell 的 DSL 《The Haskell School of Music》
[编辑] 游戏
Haskell Game Foundation (HGF)
- Yampa Yampa @ Haskell
- apecs is an Entity Component System (ECS) library for game development.
- HGamer3D
- Frag a Haskell FPS
- LambdaCube 3D Connecting Yampa with LambdaCube-Engine
- HaskellSpriteKit Haskell binding to Apple's SpriteKit framework
- Godot + Haskell/Carp
- EtaMOO 是一个用 Haskell 编写的 LambdaMOO 服务器的新实现
- Barbarossa a chess engine written completely in Haskell
- tip-toi-reveng 每个人都可以用自己的声音创造属于自己的图书
[编辑] 出版系统
推进 OpenBook 开放出版系统。
[编辑] 操作系统
[编辑] 问题
Exception: user error (unknown GLUT entry glutInit)
https://github.com/haskell-opengl/GLUT
[编辑] 图集
HSFM文件管理器
图片处理
[编辑] 链接
分享您的观点
