Since there seem to be some fellow1 Lisp weirdoes around here, thought I might take the chance to submit the inaugural post of NotAwfulTech. Also I figured this is cute. Hope it’s not offtopic.

1 I’m just a noob though, barely managed to implement my first Lisp today.

  • @selfMA
    link
    English
    51 year ago

    I’m so glad this is the first post in NotAwfulTech

    Since there seem to be some fellow Lisp weirdoes around here

    yo! lisp weirdo is what my friends call me when I get drunk while hosting a party and won’t stop trying to make them read my copy of The Little Typer

    I’m just a noob though, barely managed to implement my first Lisp today.

    that’s awesome! I’ve written a bit of system software in Lisp, but I’ve never gotten around to doing a custom Lisp myself. it’s on my list though!

    • @bitofhopeOP
      link
      English
      41 year ago

      The Little Typer

      I spent a couple hours procrastinating something with that book just a while ago, but couldn’t really stay focused for long enough to get to anything interesting and started tinkering with Idris instead. I should probably go back to it at some point, maybe after I can grok Reasoned and Kanren.

      I made it sound cooler than it is. By “implemented” I mean I grew a horrid pile of nested match statements in Rust to recreate eval from the venerable MacCarthy paper. It doesn’t even have a parser yet, unless Cons(Atom(format!("quote")).into(), Cons(Atom(format!("foo")).into(), Nil.into()).into()); passes for syntax nowadays.

      • @selfMA
        link
        English
        41 year ago

        I spent a couple hours procrastinating something with that book just a while ago, but couldn’t really stay focused for long enough to get to anything interesting and started tinkering with Idris instead. I should probably go back to it at some point, maybe after I can grok Reasoned and Kanren.

        I think pausing a book because it made you want to do something practical with the knowledge is perfectly valid. full disclosure I’ve never gotten past the 1/3rd point in The Little Typer, but every time I’ve tried I’ve internalized more of dependent types and brought that knowledge into my other work.

        The Reasoned Schemer is awesome too! I’ve always wanted to use Kanren in a real project. weirdly, what I learned from that book came in handy when I tried my hand at game dev with an ECS, which works a lot like a high-performance inference engine with a couple of limitations on how queries are structured.

        I made it sound cooler than it is. By “implemented” I mean I grew a horrid pile of nested match statements in Rust to recreate eval from the venerable MacCarthy paper. It doesn’t even have a parser yet, unless Cons(Atom(format!("quote")).into(), Cons(Atom(format!("foo")).into(), Nil.into()).into()); passes for syntax nowadays.

        hey, the first lisp eval used punched cards made by a guy named Slug over McCarthy’s objections. the best bits of lisp aren’t the substrate, they’re the language you build on top of it.

        now I want to start that Lisp keyboard firmware project