/prog/ - tard normalchads invade and refuse to understandcoding

Name: Anonymous 2017-01-18 19:43

when did this

The 'a thingy effectively says that the lifetime of a lexeme is now tied to the lifetime of the lexer

become hotter than this:

{x: int} ⊢ x ≤ 1 : boolean
----------------------------------------
{} ⊢ (λx : int. (x ≤ 1) : int → boolean               {} ⊢ 2 : int
-------------------------------------------------------------------
                 {} ⊢ ((λx : int. (x ≤ 1)) 2) : boolean ∎

?

Name: Anonymous 2017-01-18 19:49

Spoiler:Ep204234 of Rust borrow checker BDSM series
http://softwaremaniacs.org/blog/2016/02/12/ownership-borrowing-hard/en/

Name: Anonymous 2017-01-18 20:23

This looks more like programming than coding.

Name: Anonymous 2017-01-18 20:28

>>3

coudlnt fit programming in the subject

Name: Anonymous 2017-01-18 20:50

>>1
What programming language is this?

Name: Anonymous 2017-01-18 22:09

>>5
It has curly braces and lambdas, so probably JavaScript.

Name: Anonymous 2017-01-19 1:25

>>6
Their actually called arrow functions. And it's [tt]ramda[/tt] anyway, I tried [tt]yarn add lambda[/tt] and it didn't do anything useful, also it broke webpack which is obviously the library's fault.

Name: Anonymous 2017-01-19 7:56

http://esr.ibiblio.org/?p=7294

Name: Anonymous 2017-01-19 16:54

seriously though no formal spec, just vauge meat-bag explanations

tard normalchads invade and refuse to understandcoding

1 Name: Anonymous 2017-01-18 19:43

2 Name: Anonymous 2017-01-18 19:49

3 Name: Anonymous 2017-01-18 20:23

4 Name: Anonymous 2017-01-18 20:28

5 Name: Anonymous 2017-01-18 20:50

6 Name: Anonymous 2017-01-18 22:09

7 Name: Anonymous 2017-01-19 1:25

8 Name: Anonymous 2017-01-19 7:56

9 Name: Anonymous 2017-01-19 16:54