codeworld
retro-httpaf-bench
Our great sponsors
codeworld | retro-httpaf-bench | |
---|---|---|
14 | 6 | |
1,237 | 21 | |
0.0% | - | |
0.0 | 0.0 | |
about 1 year ago | 2 months ago | |
Haskell | Jupyter Notebook | |
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.
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.
retro-httpaf-bench
- Parser Combinators in Haskell
-
Ask HN: Alternatives to Rust Programming Language
I do. The benchmark results itself is here: https://aws1.discourse-cdn.com/standard11/uploads/ocaml/opti.... This comes from the OCaml multicore monthly news, the october 2021 edition: https://discuss.ocaml.org/t/multicore-ocaml-october-2021/882.... The benchmark's repo is here: https://github.com/ocaml-multicore/retro-httpaf-bench. However that image is not the whole story, and there's a bit more info here: https://watch.ocaml.org/videos/watch/74ece0a8-380f-4e2a-bef5.... In that video, the author says that the result vary depending on the load (sometimes Rust Hyper can end up above OCaml httpaf eio), that OCaml currently uses an io-uring backend while Rust doesn't, and that the results are for single core as previous OCaml implementations are single-core themselves.
I do feel that this benchmark is incomplete. I'd like it to see the results while using all of the cores of a machine, and I'd like to see different type of loads. I do think that the results are impressive: performance between Go and Rust is great. I do hope that it stays this way with multicore.
-
Adapting the OCaml Ecosystem for Multicore OCaml
We don't compare against Go pervasively. Benchmarking across languages is hard generally, but here is a result on a specific benchmark comparing several versions of OCaml benchmarks against Go and Rust on a Http server benchmark: https://github.com/ocaml-multicore/retro-httpaf-bench/pull/1....
If there are suggestions to make the Go and Rust versions, please feel free to tell us how in the issue tracker.
-
I don't see a future for Go. It's big within the kubernetes world right now but it will slowly be replaced by Rust.
multicore already faster than Go
-
Functional Programming in OCaml
Multicore is coming along, you can read the latest news here: https://discuss.ocaml.org/t/multicore-ocaml-june-2021/8134
In terms of performance, there is this paper https://kcsrk.info/papers/system_effects_feb_18.pdf where on a single core async OCaml and effect OCaml are close to Go's net/http, and there is also this project https://github.com/ocaml-multicore/retro-httpaf-bench but I haven't see any results from it.
What are some alternatives?
Cabal - Official upstream development repository for Cabal and cabal-install
assert-combinators - Functional assertion combinators.
dune - A composable build system for OCaml.
parser - String parser combinators
reanimate - Haskell library for building declarative animations based on SVG graphics
angstrom - Parser combinators built for speed and memory efficiency
scratchjr - With ScratchJr, young children (ages 5-7) can program their own interactive stories and games.
httpaf - A high performance, memory efficient, and scalable web server written in OCaml
haskell-template
ocaml-h2 - An HTTP/2 implementation written in pure OCaml
sdl2-snake - An example application for sdl2.
crystal - The Crystal Programming Language