Mods / lambda
Author: bluelightning32
Side: Both
Created: Mar 6th 2024 at 1:43 AM
Last modified: Mar 26th 2024 at 2:11 AM
Downloads: 1646
Follow Unfollow 11
Latest release (for Vintage Story 1.19.4 and 1.19.5, outdated):
lambda.zip
1-click install
This mod adds new crafting mechanics that manipulate lambda terms. The getting started guide is on github.
Content added
- Lambda tree - necessary to get destruction fluid. It can be used for decoration.
- Metal glue - used to repair tools. It takes half the metal to repair a tool as it does to build a new one. However, the required term item is tricky to figure out.
- Enhanced pan - drops 100% more copper and 200% more sphalerite nuggets
- Term items - can be combined and broken apart. Terms of the correct value are required in many recipes.
- Denatured terms - cook up your extra terms into these and eat them. They are also an ingredient for destruction fluid.
- Lambda tree sap - necessary ingredient for destruction fluid. Can either be obtained by putting logs in a barrel, or with the spile from A Culinary Artillery.
- Application jig - combines terms together using function application
- Destruction jig - breaks terms apart into smaller terms. Requires destruction fluid.
- Blue clay transformer - use this on a blue clay deposit to slow transform that block into fire clay, then spread to the neighboring blocks in the deposit.
- Charcoal pit sealant - painting the charcoal pit chamber walls with this produces up to 30% more charcoal (depending on how many walls are sealed)
There are also many blocks for inscription crafting. However, they are currently only available in creative mode. Inscription crafting is much more difficult than the application jig and destruction jig. Please still try out inscription crafting. I'm looking for feedback on it. When you leave feedback, please also explain your related experience: no programming experience / programming experience with typical languages / functiona programming experience.
Requirements
To run this mod on a server (including in single player), one must have Coq installed. The client does not need Coq installed.
| Mod Version | For Game version | Downloads | Release date | Changelog | Download | 1-click mod install* |
|---|---|---|---|---|---|---|
| 1.4.3 | 165 | Mar 26th 2024 at 2:11 AM | lambda.zip | 1-click install | ||
|
Increase lambda treeseed drop rate | ||||||
| 1.4.2 | 111 | Mar 23rd 2024 at 11:55 AM | lambda.zip | 1-click install | ||
|
Allow more tree seeds in lambda tree seed recipe. | ||||||
| 1.4.1 | 102 | Mar 23rd 2024 at 11:41 AM | lambda.zip | 1-click install | ||
|
Increase the hare and mushroom term drop rate | ||||||
| 1.4.0 | 113 | Mar 23rd 2024 at 8:14 AM | lambda.zip | 1-click install | ||
|
Add charcoal pit sealant | ||||||
| 1.3.0 | 132 | Mar 18th 2024 at 5:59 AM | lambda.zip | 1-click install | ||
|
Add blue clay transformer. Right click this item on unmined blue clay to slowly convert it and neighboring blocks into fireclay. | ||||||
| 1.2.1 | 122 | Mar 17th 2024 at 4:53 AM | lambda.zip | 1-click install | ||
|
Replace the (hd) term with (hd _) so that the player doesn't have to specify's hd fallback value. | ||||||
| 1.2.0 | 123 | Mar 17th 2024 at 4:19 AM | lambda.zip | 1-click install | ||
|
Drop a term when harvesting forest floor. | ||||||
| 1.1.2 | 126 | Mar 17th 2024 at 12:09 AM | lambda.zip | 1-click install | ||
|
Verify Coq version 8.19.0 or higher is installed. | ||||||
| 1.1.1 | 131 | Mar 16th 2024 at 11:22 PM | lambda.zip | 1-click install | ||
| ||||||
| 1.1.0 | 124 | Mar 16th 2024 at 6:16 AM | lambda.zip | 1-click install | ||
|
Add primitive term storage, term drops from clay blocks, and a recipe to copy tree seeds. | ||||||
| 1.0.0 | 144 | Mar 14th 2024 at 9:08 PM | lambda.zip | 1-click install | ||
|
Add lambda tree and destruction jig | ||||||
| 0.3.0 | 124 | Mar 11th 2024 at 7:51 AM | lambda.zip | 1-click install | ||
|
Add application jig | ||||||
| 0.2.0 | 129 | Mar 6th 2024 at 1:44 AM | Empty | lambda.zip | 1-click install | |
You may not have made something popular, but i bothered to log in just to say this is incredibly cool. Great work.
@bluelightning32
dang
SyilumiLunari that link is for version 8.18. Oddly I don't see a Windows download for version 8.19, even though 8.20 is the current release for Linux.
From the git commits, it looks like they're preparing the 8.19 Windows release. Maybe check back in a month?
bluelightning32 i installed coq for this mod twice though i even saw it on the uh control panel when i went to uninstall it after i gave up
i used this one from the releases on the coq github github.com/coq/platform/releases/download/2023.11.0/Coq-Platform-release-2023.11.0-version.8.18.2023.11-Windows-x86_64.exe
SyilumiLunari likely your system does not have Coq version 8.19.0 or higher installed. This is required to run a server or a single player world with the mod installed.
To check, either look in the server-main.txt file for the error message, or click "Developer Mode" on the "Interface" tab in the settings, then try to load the single player world. In developer mode, it will show the error messages in the text box instead of the event messages.
If you just want to try the mod without installing Coq, you can try playing on the Lambda official server. You can find it in the multiplayer server listing. No one has played on the server for a while, so if you need creative mode, ping me on Discord and I'll grant it to you.
whenever i make a world with this mod in single player it just doesnt work gets stuck on "simple tools"
Aokuqre, what would the custom objects do?
The list of terms is not hardcoded, so you can create arbitrarily long pairs of items like (1, 2, 3, 4, 5 ...). However, I didn't include any function combinators in the dropped terms. Also you just get items that don't do much.
The server is literally invoking coqc on a background thread, which is a little slow. So trying to regularly invoke the functions to run machines in the game wouldn't work well. Running too many would lag the server, and even if only a couple were running, the time it takes them to finish is unpredictable. I could run coqc in coqide mode (it keeps running instead of exiting after compiling the file) and talk to it over a pipe. That would make it a little faster to run. However, that's a lot of work, and I don't know what one would use it for.
My plan was to build functions to solve puzzles and unlock items. Building the functions would involve connecting blocks together with wires. That's what's shown in one of the screenshots. So one would get a lot of the automating machines with wires feel, but without the lag of constantly running the machine.
Another difficulty is that I discovered it's really hard to make innovative reward items that aren't just duplicates of what some other mod provides. It would be a lot easier to provide the basic crafting recipe in this mod, then make something like an expert modpack that changes the recipes from other mods such that one needs to use lambda to build the items. Does that sound interesting?
This is a cool idea. I just wish that
it were more in the spirit of lambda calculus
and allowed you to create custom objects based off of
the functions used in the construction of those objects.