pdexter

Haskell doesn't require top level type definitions.

As in https://en.wikipedia.org/wiki/Agent-based_model I believe

How were the diagrams made?

charles schwab did that up to about 4 or 5 years ago

Random question, but how did they get the source code highlighting in that doc?

We're software developers after all.

I feel sad knowing that what I've trained for and my passion aren't helpful at all to fixing this crisis.

That sounds more like an implementation detail, in most cases. By this metric Haskell wouldn't be a functional language.

Is this automated?

Sounds like datalog could fit this bill

Interesting. Can you give an example of generic algorithms plus custom types, in practice? Off the top of my head I thought that any dynamic language or static language with good genetics would have this property, but maybe there's something that Julia does differently.

Yeah I think rust has better defaults here.

C-- is one of the stages of its compilation to a binary IIRC. I wouldn't say it "can transpile to C--", as if C-- is an optional target which the user then does something else with.

Although it itself is deprecated, the TypeInType extension does exist.

https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf

https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...

https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...

What's the connection between NoSQL vs SQL and eventual consistency?

It doesn't offer a repl as far as I've seen.

https://github.com/vygr/ChrysaLisp/blob/master/apps/terminal... for example

For anyone looking for examples, there are some here https://github.com/t1lang/t1lang.github.io/blob/master/North... .

Elixir doesn't have mutable variables though. Is there any language that has mutable variables and closes over the value of a variable and not a "pointer to the value"?

Is there any more info on the redis cluster proxy?

No, Leaf isn't a type.

Time for the Underhanded Solidity Contest? (http://www.underhanded-c.org/)

See previous comments here https://news.ycombinator.com/item?id=7632303

> "about 5 to 7 beers or 6 to 8 glasses of wine" in one week is very different if you have one beer a day, or if you drink the same amount on a Saturday night outing.

Is this true?

What to use instead?

Sounds like a good approach

I agree, the doubt plays an important role.

They're anonymous but after the reviews the authors are then usually (always?) revealed to the reviewers. Let's not kid ourselves though, academia, and especially in smaller subfields, is made up of small communities where you can usually guess whose paper you're reviewing unless it's a brand new contribution in a field by someone who doesn't usually publish there. You can often guess who the review was performed by too, since the program committee is always public.

Put it in the freezer or outdoors (if you live in a cold environment). Not sure if this is actually a thing or just some old urban myth, but it's what I do. Maybe I smell though.