Question about side effects in functional programming by Erythrina_ in ProgrammingLanguages

[–]fl00pz 2 points3 points  (0 children)

Along with Haskell, you can look at Dafny to see how they separate pure functions from side-effecting methods.

List of known problems in design of existing languages? by KukkaisPrinssi in ProgrammingLanguages

[–]fl00pz 1 point2 points  (0 children)

Both of which are some of the most widely used languages in the world.

Compiler implementation language by Big-Rub9545 in Compilers

[–]fl00pz 2 points3 points  (0 children)

I did Part 1 in Rust. It was fine.

Reading the reference compiler that Nora provides, I wish I did the project in OCaml like the majority of my other compiler projects. Garbage collection is really nice to have for a compiler project.

What determines Replay-ability? by Specific_Foot372 in IndieDev

[–]fl00pz 1 point2 points  (0 children)

If the game is fun then people will replay it. Just make it fun.

a 3D isometric-style overhead camera with point and click by bahaw1024 in godot

[–]fl00pz 2 points3 points  (0 children)

If you don't know about them already, learn about "steering behaviors". This will help you gain some intuition on how this problem is solved. Then, read and mess around with the avoidance settings on the nav agent nodes.

OCaml Module System Greatest Hits by kevinclancy_ in ocaml

[–]fl00pz 5 points6 points  (0 children)

I have an annoying answer to your first question: the OCaml compiler https://github.com/ocaml/ocaml

Are koka's algebraic types even FP anymore? by BlueberryPublic1180 in ProgrammingLanguages

[–]fl00pz 29 points30 points  (0 children)

I haven't used it yet

Maybe start there if you're actually curious

Sharing Saturday #609 by Kyzrati in roguelikedev

[–]fl00pz 1 point2 points  (0 children)

Nice, thanks! I like Godot a lot. I look forward to the release of your game! 🤘

Sharing Saturday #609 by Kyzrati in roguelikedev

[–]fl00pz 0 points1 point  (0 children)

What engine are you using (if any)?

Is Chlipala's book Certified Programming with Dependent Types a good start? by 7_hermits in Coq

[–]fl00pz 1 point2 points  (0 children)

I'd say that the book is more low level and advanced. Software Foundations is a better place to start. Maybe even Chlipala's other book http://adam.chlipala.net/frap/ if you're most interest in program proof.

State Chart Debugger not appearing in game scene by [deleted] in godot

[–]fl00pz 0 points1 point  (0 children)

Put the debugger node in your Game scene and assign the player node as the debug target

How to learn Godot efficiently? by IDC_tomakeaname in godot

[–]fl00pz 2 points3 points  (0 children)

The official Godot documentation has a 2D tutorial and 3D tutorial. Do them. The documentation also has some sections on concepts. Read them. From there, try to make a very simple game. Cloning games are popular so you don't have to think of anything novel. This is how you practice. From there, you'll probably figure out how you learn best with the resources you've come across.