Sheepda integration #255
Comments
|
Kinda scary to run automatically, since it can be pretty easy to accidentally cause non-terminating behavior, but dunno how Klipse handles that usually. |
|
If you successfully complete this Issue via WorskHub there's a $150 reward available. |
|
@shyamasravani started working on this issue via WorksHub. |
|
I never contributed on github, could u explain what u need? i would like to help |
|
Jo is the bounty still valid? Basic sheepda is working: my current idea would be to get inspired by e.g. the kotlin klipse plugin and make an analogous sheepda one.
|
|
No. Bounty is closed
…On Sat, 31 Dec 2022, 16:48 Benjamin, ***@***.***> wrote:
Jo is the bounty still valid? Basic sheepda is working:
<!DOCTYPE html>
<html lang="en-GB">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="https://storage.googleapis.com/app.klipse.tech/css/codemirror.css">
<script src="https://jtolio.github.io/sheepda/sheepdajs.js"></script>
</head>
<body>
<script>
var output_type = "result"; // can also be "output" or "parse"
var code = "(\\x.x \\y.y)";
var result = sheepda.eval(code, output_type); // returns [output, error]
console.log("hello..")
if (result[1] != "") {
console.log(result[1]);
} else {
console.log(result[0]);
}
</script>
</body>
</html>
my current idea would be to get inspired by e.g. the kotlin klipse plugin
and make an analogous sheepda one.
- add the prelude (standard lib)
- add a checkmark for the prelude
—
Reply to this email directly, view it on GitHub
<#255 (comment)>, or
unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAHJKPVP6ZIDBRTC3MWBCT3WQBBU5ANCNFSM4DEMLRDA>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Sheepda is a lambda calculus interpreter written in Go. Because it's in Go, GopherJS can compile it to Javascript.
Try this in your HTML somewhere:
If you want to rebuild https://jtolds.github.io/sheepda/sheepdajs.js from source, install Go and GopherJS and run
Lambda calculus is super basic - so much so that it's not useful without a ton of definitions. You might be interested in including some prelude code like https://github.com/jtolds/sheepda/blob/master/interview-probs/prelude.shp that you prepend to any code the user provides. https://jtolds.github.io/sheepda/ gives the user a choice via a checkbox.
The text was updated successfully, but these errors were encountered: