dune
codeworld
dune | codeworld | |
---|---|---|
27 | 14 | |
1,536 | 1,237 | |
1.0% | 0.0% | |
9.9 | 0.0 | |
5 days ago | about 1 year ago | |
OCaml | Haskell | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dune
-
Tagging OCaml packages
If you are using the dune build system, add the tag(s) to your dune-project file's package stanza. E.g.:
-
NextJS, the App Router and ReasonReact
One way to get around this is to modify the api/dune file with (include_subdirs qualified); this means that every subdirectory of api/ can be referenced by module namespacing and we don't have to write dune files for every route (or pages) folder. However, the OCaml LSP does not like it and red squiggles will show up in the editor (although the app with still compile without errors). Trying to develop the app knowing those red squiggles cannot be vanquished would drive me nuts, so instead of using (include_subdirs qualified) I just wrote dune files for every route (and page) which gets rid of the red squiggles.
-
Generating .ml test cases from a glob of text files in a directory using dune
2) Neither would having all source/targets specified, as that would entail listing them all in the dune file as wildcard rules is apparently still not a thing: https://github.com/ocaml/dune/issues/307
-
Dune build
There is a small example on the dune home page: https://dune.build/
- The YAML Document from Hell
-
Ask HN: Programs that saved you 100 hours? (2022 edition)
Dune (https://dune.build/) is the preeminent build tool for OCaml development. I don't love its input syntax (s-expressions), and I sometimes miss the ability to write high-level functions to reduce boilerplate (especially for unit tests), but it always gets the dependencies right, and it's fast. This is in stark contrast to some of my experiences with various other build systems, and I am super happy that the default option for OCaml build systems is so good.
- Help getting started with Ocaml
-
Faster Incremental Builds with Dune 3
It's still weird because dune's own site only makes Jane Street references: https://dune.build/.
-
How to print anything in OCaml
ONE of the big benefits of OCaml is its powerful REPL (also called the toplevel), the interactive command-line utility where you can load modules, type in and execute code, and see its results. The modern REPL, utop, has powerful auto-completion and integration with the build system dune, which enables productive workflows like loading an entire project's libraries in the REPL and interactively exploring them.
- Dune 3.2.0
codeworld
-
Pedagogical Downsides of Haskell
Code World[1] is a great project that addresses a number of the problems from the article, with an eye towards using Haskell to teach children basic math and programming simultaneously. Code World directly addresses a number of the obstacles outlined in this article:
1. Using an online editor with a rich built-in library removes any toolchain problems.
2. A custom standard library simplifies pedagogically unnecessary details like Foldable
3. The custom standard library also avoids currying (f(a, b) for functions rather than f a b)
4. Custom error messages improve the feedback students get from the compiler
I would highly recommend Code World to anybody looking to teach programming with Haskell. If you want to teach Haskell in a way that fits the existing ecosystem, it's also possible to run Code World without the custom standard library[2].
[1]: https://code.world/#
[2]: https://code.world/haskell#
-
What programming language should i learn to code games.
Alternatively, I'm a big fan of https://code.world which is specifically geared towards learners who want to work up to making simple games. It's kind of a toy, but imo resembles a "real" programming language a lot more than other educational programming languages
-
Ask HN: It's 2022. Where should I direct the youths to learn about programming?
Loose connection, but made me remember https://code.world/ uses a Haskell-like functional language to define still pictures, animations, or even games.
- My kid loves computers. I would like him to start programming, just for fun to see if it is something for him. But how to start, what type of programming language that is appealing. Books? I mean, we can start with Lisp, but how long will attention hold? Please advise, thanks.
-
Game
I second gloss! It's a bit limited (no sound, fonts, nor even text centering, but you do have support for vector and bitmap graphics, color manipulation, mouse, keyboard, and animations), but it's so, so easy to use that I not only recommend it (or the similar Code World) for anybody's first game, I still use it for my newer games.
-
Looking for help making a simple game in Haskell
Try https://code.world/
-
Functional Programming in OCaml
Two that I can think of:
- Bootstrap teaches a toned-down version of Racket (i.e. Scheme): https://bootstrapworld.org/materials/spring2021/en-us/course... . It's taught in some schools as well as a comp sci curriculum.
- https://code.world/ teaches using a toned-down version of Haskell. To my knowledge it's not used in schools.
-
Why I Support the Haskell Foundation
I had the silly 'fromString' error you get when using RebindableSyntax but had forgotten what to do next. Quick Google search and I hit on codeworld #59.
-
Hmmmmmmmmmmmmmmmmmmmmmm (SI is an AND gate, SAU is an OR gate)
That's a matter of tooling and environment. You can have a look at examples of drawing animations with physics simulation and user input at https://code.world. It's pure Haskell code without any scary abstractions, just functions from state to the next state.
-
Safe Haskell?
I'm not a user myself, but I understand Lambdabot and mueval depend on it. More generally, anything that executes Haskell code supplied by untrusted users would fit the bill. I don't know if CodeWorld for example allows user-supplied modules, but if it did they'd have to be Safe.
What are some alternatives?
statsd-filter-proxy-rs - A filter proxy for StatsD
Cabal - Official upstream development repository for Cabal and cabal-install
opam - opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
reanimate - Haskell library for building declarative animations based on SVG graphics
ocaml - The core OCaml system: compilers, runtime system, base libraries
scratchjr - With ScratchJr, young children (ages 5-7) can program their own interactive stories and games.
CorrinoEngine - CorrinoEngine is an open-source project which will recreate the Emperor : Battle for Dune
haskell-template
domainslib - Parallel Programming over Domains
sdl2-snake - An example application for sdl2.
melange - A mixture of tooling combined to produce JavaScript from OCaml & Reason
hack-assembler - A Hack assembler in OCaml. A program that translates assembly code for the Hack computer into its binary representation.