added: - built-in functions show_int and show_bool, which turn the respective types into strings - !x, x || y and x && y for bool - ints, with the operations x + y, x - y, x * y, x / y - {% for i in range x .. y %}
removed: - truthiness is not a thing anymore, if statements only allow bool as a condition
thinking about how best to do type unification for structs in femstache
if i have constraints like fresh a; a ~ { x: bool, y: string }; a ~ { x: bool, z: string }, this should unify as a = { x: bool, y: optional string, z: optional string }
but the first constraint already replaces all occurences of a with { x: bool, y: string } and then the unification { x: bool, y: string } ~ { x: bool, z: string } happens, which succeeds but can't really "change" the shape of the struct
thinking of maybe adding a kind of "type shape" thing where { x: int, y: bool } turns into fresh a; member "x" int a, member "y" bool a => a
every device must have a way for the user to look at everything going on, access and modify all data, etc
for security reasons, i am fine with only allowing the user to do this manually, but it shouldn't require consent from an external party, delays, or any hurdles, as it is their device
whatever is running on the device (and software on it) should never have a way to hide things from the user and the user should be able to shim and access the whole environment something is running in
the user must always be in full control. what's running on it must only be able to run on the users terms. no one except the user has any right to anything. the devs of the software running on the device must not have any say on how their software is being run
the user owns the device and personal devices should be considered an extension of their body, so they must have full control
hewo, am lumi! :blobcatsnuggle: :mstransgenderflag: :msnonbinaryflag: :msasexualflag: :mslesbianflag:am internet person that uses nixos, is vegan, uses rust, loves anime, cares a lot about software freedom, loves languages, is ace, is transfem and thinks you're a cutiewill hug you (if consent)cw discord unless the post is negative towards itrust is my favorite dirty haskellalt of @lumi@raru.re so consider following me there as well if you follow me herecontact info: askfollow reqs okboosts oki do not consent to archiving of my postsi do not consent to training ML models on my postsall posts and code within posts are licensed under the GNU AGPL 3.0follow for more gock, free software and hugs#nobot #noindex #noarchive #nosearch