because typing "js" makes me nervous. we all know js is not typed

Comments

You must log in or register to comment.

voxpoplar wrote on November 8, 2018 at 8:23 PM

#6,022

is this a javascript joke I don't get it

musou OP wrote on November 8, 2018 at 8:27 PM (edited on November 8, 2018 at 8:27 PM)

#6,023

Replying to voxpoplar (#6,022)

yeah sorry it's a bad joke about how js does not let you specify what type of data its functions should accept

i have some regrets

voxpoplar wrote on November 8, 2018 at 8:48 PM

#6,025

Replying to musou (#6,023)

oh wait I get it now it's a good joke sorry I was just tired when I read it first and was thinking too literally

no_defun_allowed wrote on November 8, 2018 at 10:09 PM

#6,029

"js" in any context is spoopy af

Moonside wrote on November 9, 2018 at 7:54 PM

#6,037

I used to used this site until I found out its code wasn't dependently typed.

8 points (+8, −0)

Short URL:

https://jstpst.net/2947

the church of alonzo church

λλλλλλ
λλλλλλλλ
      λλλλ
        λλ
        λλλλ
        λλλλ
      λλλλλλλλ
      λλλλλλλλ
      λλλλ  λλ
    λλλλλλ  λλλλ
    λλλλ      λλ
  λλλλλλ      λλλλ
  λλλλ        λλλλ

β-reducing for life

rules

only MLs (SML, Haskell, OCaml) and Lisps (Scheme, CL, Racket for all 2 people who use that) allowed
- fuck off Hy users, you're just Python lusers
- you too Clojure, you're just shitty Java with more parens and hipsters gave you exposure
no :=, <- or setf allowed
must be able to recite the Y combinator when asked
no rust (lang and game) or JS
brendan eich cannot come within 50 metres of this forum

talky talk with us on #symbolics2:matrix.org

Created July 31, 2018
Subscribe via RSS

Toolbox

Moderators

no_defun_allowed