>>719947106
>It is no Symphony of the Night/Super Metroid
Dude can you stop? These are not good games and you are begging for aggro that is going to make you so asshurt you're never gunna discuss a game here again.

>>719895923
Yeah and they can see what the game actually looks like here
>>719895812
Console players always lie. I remember playing Xenoblade on the switch and that shit was borderline unplayable it was so blurry, thank god the game was shit anyways.

>>718853939
Maps are just a function you complete in 30 seconds. The skill is being able to strategize the construction of those maps and devise a plan which maximizes divs by understanding the market and crafting system. You think its impossible to craft good gear, but for me its just a regular part of the game I did constantly. You will never get to experience that kind of knowledge progression, you robbed yourself of that gameplay. Now its not a game any more. Maybe you should stop looking for casual shortcuts and actually find a game worth learning and getting good at. Too much of /v/ is people who don't even like games and just want to passively consume things. Like 90% of the catalogue is usually shitty RPGs and console slop. God forbid someone 1ccs a shmup or something. People are crying indie platformers are too hard now. Its just mind boggling.

>>717046112
I eat 2 cosmic crisps a day. I also like sugarbees and pink ladies.

>>105684409
Thanks anon that was fun to read (the latter half was kinda complicated), I was wondering about lambda without type annotations (like s3.3 in the pdf) and it looks like that's addressed in s5 (with subst)

With these changes to >>105683999 lambda can be written without type annotations
(define (update bind type table)
(set-cdr! (assoc bind table) type)
type)

[('lambda bind body)
(set! table (cons (cons bind 'a) table))
(let ([type (test body table)])
(list (lookup bind table) '-> type))]
[(f x)
(match (list (test f table) (test x table))
...]
[('+ x y)
(match (list (test x table) (test y table))
[('Int 'Int) 'Int]
[('Real 'Real) 'Real]
[('a 'Int) (update x 'Int table)]
[('a 'Real) (update x 'Real table)]
[('Int 'a) (update y 'Int table)]
[('Real 'a) (update y 'Real table)]
[(a b) (format #t "type error: (+ ~a ~a)~%" a b) #f])]
with the limitation that most polymorphic terms don't check
(check (lambda x (+ x 1))) ;=> (Int -> Int)
(check ((lambda x (+ x 1)) 1)) ;=> Int

(check (lambda x x)) ;=> (a -> a)
(check ((lambda x x) 1)) ;=> type mismatch: ((a -> a) Int)
(check (lambda x (+ x x))) ;=> type error: (+ a a)

I'm tired of pretending mukimame isn't a top tier addition to noodles, rice, and salads.