Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

Abhinav 🌏 @abnv@fantastic.earth

6/7/2023, 6:15:12 AM

Public

I ported @mattmight’s #CPS conversion code (https://matt.might.net/articles/cps-conversion/) to #Haskell and after some fighting with the type system, it worked! To make the #interpreters work with the Cont monad, I had to remove recursive lets and hence, functions being able to call themselves recursively, but the rest works fine.

The attached images show the conversion of the Fibonacci function into the CPS version.

#Programming #ProgrammingLanguages #Compilers #PLT

Fibonacci function in Lisp:

(let
([fib
(λ (n)
(let
([fib'
(λ (n f)
(if (= n 0)
0
(if (= n 1)
1
(+ (f (- n 1) f) (f (- n 2) f)))))])
(fib' n fib')))])
(fib 10))

CPS version of Fibonacci function in Lisp:

(let
([fib
(λ (n k0)
(let
([fib'
(λ (n f k1)
((λ (k2)
((λ (v3)
(if v3
(k2 0)
((λ (k4)
((λ (v5)
(if v5
(k4 1)
((λ (v9)
(f v9 f
(λ (v6)
((λ (v8)
(f v8 f
(λ (v7)
(k4 (+ v6 v7)))))
(- n 2)))))
(- n 1))))
(= n 1)))
k2)))
(= n 0)))
k1))])
(fib' n fib' k0)))])
(fib 10 return))

If you have a fediverse account, you can quote this note from your own instance. Search https://fantastic.earth/users/abnv/statuses/110501462848760540 on your instance and quote it. (Note that quoting is not supported in Mastodon.)