game development Exporting Godot Variables in F# In Godot, it's convenient to export variables so that they can be updated via the Inspector tab. Doing so in C# looks like this: using Godot; public class Player : Area2D { [Export] public float Speed = 2f; public override void _Ready() {} public override void _Process(float delta) {} } Here the Speed
lambda calculus Argument Selection Function The argument selection function λfirst.λsecond.first accepts a function as an argument and returns a function which, when given an argument, returns the first argument. // λfirst.λsecond.first const selectFirst = x => y => x const double = a => a * 2 const triple = a => a * 3 const applyDouble
game development Godot and F# Over the weekend I got a game started with Godot Mono and F#. It works out pretty well, although it relies on using C# to extend types defined in F#. Out of the gate I've taken up a convention of defining a namespace just for defining a type
lambda calculus Application Function Function application function is represented by the term λf.λx.f x. It accepts a function as an argument and applies it to the argument of the function it returns. // λf.λx.f x let apply f x = f x let addOne c = c + 1 let applyAddOne = addOne |> apply
functional programming Pipes Inspired by the following Tweet from Eric Elliot in which he uses a reducer to make a pipe function, I thought I'd do something similar in Python and F#. const pipe = (...fns) => x => fns.reduce((y, f) => f(y), x); const g = n => n
F# Style Guide, not Coding Standards In Stylish F#, Kit Eason suggests that we create Style Guides rather than Coding Standards to assist developers. A style guide "suggests" or guides rather than mandates, and better encourages creativity and originality while still producing code that is understandable by one's peers. He suggests that