>C, C++, D, Java, Kotlin, C#, Go, Python, Nim, Julia
Take it to >JavaScript, TypeScript
Take it to What are you proving, Jow Forums?
Old thread:
/dpt/ - Dependently-typed Programming Thread
Charles Powell
Other urls found in this thread:
github.com
pastebin.com
archive.fo
ruby-doc.org
ruby-doc.org
node-os.com
dailyprog.org
devver.wordpress.com
docs.python.org
docs.python-guide.org
twitter.com
Angel Brown
What do you think of my encoding?
github.com
Ayden Jones
nice birb
Grayson Johnson
>My head hurts
>I wish I was at home reading SICP
>tfw everyone here uses dynamically typed languages
>I bet they don't even know who Simon Peyton Jones is
Isaiah Gutierrez
I have nothing against functional circlejerk threads and most of the time I participate, shilling my share, but wouldn't it be better to create a bastard child of /dpt/, a new daily thread instead of coming on their faces?
John Lee
>>JavaScript, TypeScript
>Take it to epic, no more onions
Gabriel Nguyen
No, it wouldn't.
Anthony Gutierrez
nicely memed my friend
Ayden Scott
>SICP
>not based around a dynamically typed language
Jason Nguyen
I like the bird.
Anyway, still trying to figure out a way to use Ruby in order to:
-Open a file
-Do some processing
-Close the file
Right now, I have this, but I'm not sure if it will work...
Haven't been able to post ruby code for some reason, but maybe the bitbucket link will help?