lots of musicposting!!! mostly rock and metal

My last.fm page, @filenine! These are my 5 most recently played songs!


cohost (teehee!)
cohost.org/filenine
going to brazil?
youtu.be/MhtbZ9uZ9_I
You must log in to comment.

in reply to @filenine's post:

nice to hear! i'm currently surrounded by functional languages. i'm learning racket and haskell in class, haskell in my own time, and scheme via SICP... and i only know the basics of all three of them. i'm trying to wrap my head around recursive definitions to solutions! it's very different from the python i'm used to.

Yea! I’ve said for years that learning a functional language is valuable just because it teaches you new ways to think about familiar tasks. It helps you approach problems from new directions and that’s valuable even if you never use a functional language for a “real” project!

A key idea that helped me understand recursion is the idea of "structural recursion (on recursive data types)". In short, some data types have a recursive structure, and the structure of functions on those data types mirrors the structure of the data itself. (You may have seen this in Racket if you're using HtdP; I can go into more detail if you'd like.)

i'm not using HtDP, but i have seen recursive data types when dealing with recursive definitions of lists and natural numbers! the natural number definition was when i was doing proofs in coq

Pinned Tags