Login

Recent searches

No recent searches

Search options

Not available on mastodon.xyz.
mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.

Administered by:

Server stats:

818
active users

mastodon.xyz: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#lamber

0 posts0 participants0 posts today
Artyom Bologov<p>In the spirit of (not-that-radical, unfortunately) openness (inspired by none other than <span class="h-card" translate="no"><a href="https://mas.to/@TodePond" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>TodePond</span></a></span>,) let me share a thing I've been quietly working on for the last couple of months: <a href="https://merveilles.town/tags/Lamber" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lamber</span></a>, my pure <a href="https://merveilles.town/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LambdaCalculus</span></a> -compiling <a href="https://merveilles.town/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> language inspired by <a href="https://merveilles.town/tags/Lua" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lua</span></a> and <a href="https://merveilles.town/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>haskell</span></a> </p><p><a href="https://github.com/aartaka/lamber" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/aartaka/lamber</span><span class="invisible"></span></a></p><p><a href="https://merveilles.town/tags/theWorkshop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theWorkshop</span></a></p>
Artyom Bologov<p>I want to use <a href="https://merveilles.town/tags/ed" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ed</span></a> more, but me being a Lisper is a huge obstacle to that. <a href="https://merveilles.town/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lisp</span></a> ASTs and line-based editing don't play well together. And it's a pain to balance the parens in ed. I have already amassed a bunch of regex scripts for doing Lisp, but it's clearly not enough.</p><p>Sigh. I want to write something that isn't C or <a href="https://merveilles.town/tags/Lamber" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lamber</span></a> in <a href="https://merveilles.town/tags/ed" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ed</span></a>, but I have to come up with a lot of tools and hacks for that.</p>
Artyom Bologov<p><a href="https://merveilles.town/tags/TIL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>TIL</span></a> that there's a <a href="https://merveilles.town/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LambdaCalculus</span></a> based language called brujin (for obvious reasons) and that it's absolutely unreadable! The standard library and the amount of work that went into it is extremely impressive though, so go give it a read:</p><p><a href="https://bruijn.marvinborner.de/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bruijn.marvinborner.de/</span><span class="invisible"></span></a></p><p>and show some love to Marvin Borner, the creator of brujin!</p><p>I'm stealing parts of it (like Maybe monad) into <a href="https://merveilles.town/tags/Lamber" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lamber</span></a>, my own applicative <a href="https://merveilles.town/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LambdaCalculus</span></a> compiling <a href="https://merveilles.town/tags/Lua" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lua</span></a> like language.</p><p><a href="https://merveilles.town/tags/theWorkshop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theWorkshop</span></a> <a href="https://merveilles.town/tags/theLibrary" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theLibrary</span></a></p>
Artyom Bologov<p>Y'all, how readable does this piece of code seem to you?</p><p>def div = fn (numer denom)<br> local loop = fn quot<br> when lt quot denom<br> then 0<br> else : succ : loop : sub quot denom<br> end<br> loop numer<br>end</p><p>That's division via subtraction from <a href="https://merveilles.town/tags/Lamber" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lamber</span></a> standard library. And yes, it parses, compiles to pure <a href="https://merveilles.town/tags/LambdaCalculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LambdaCalculus</span></a> and returns the right number when applied properly!</p><p><a href="https://merveilles.town/tags/theWorkshop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theWorkshop</span></a></p>
ExploreLive feeds
About