Viewing profile — 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 g…

Yeah I think rust has better defaults here.

*** Exception: Prelude.head: empty list

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…

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?

https://stackoverflow.com/questions/154136/why-use-apparentl...

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