Smaug123

77 ms·

811.
by Smaug123 5y ago
Oh come now, it's not wrong . I shall quote the article. > # The natural numbers > Numbers are objects you build to act like the concept of a number. Here we begin to construct the natural number object. This is obviously ref
812.
by Smaug123 5y ago
Ah, it is fun to be belligerent on the Internet. But I shall answer in good faith. I disagree with… well, what could I possibly be disagreeing with except the primary thesis of the comment to which I was replying, namely that mathematics is
813.
by Smaug123 5y ago
No! But I am not going to re-explain it; I have already said precisely why the information content is different, in the comment to which you replied. I shall merely quote it again. > It's pedagogically important to distinguish betwe
814.
by Smaug123 5y ago
I am quite happy with that "definition", not least because it's obviously not intended to be formal. But anyway, a very standard thing for a mathematics lecturer to say is "This is the only thing it could be", or &q
815.
by Smaug123 5y ago
I disagree, and I believe you have made a category error: you are mistaking the description of a thing for the thing itself. I believe your error is the same as that of the one who asserts "the natural numbers are the finite transitive
816.
by Smaug123 5y ago
Er, yes? Compilers are brilliant fun.
817.
by Smaug123 5y ago
Down now, but: https://web.archive.org/web/20211017100519/http://www.cs.ute...
818.
by Smaug123 5y ago
No. It has lightweight syntax ("computation expressions") you can use to sugar monads, but no effects system.
819.
by Smaug123 5y ago
You can simply contribute to https://github.com/dotnet/fsharp/ , the maintainers are very friendly to new contributors in my experience (though the codebase is old and often quite hard to understand).
820.
by Smaug123 5y ago
It's just really pragmatic about the upsides of functional programming. It describes itself as "functional-first", but isn't afraid to fall back on OOP in situations where OOP really does model the situation better. In m
821.
by Smaug123 5y ago
I'm very sorry to say this, but… a category theory perspective points out a way in which they're not "sufficient". The exponential in a category theory context is basically "like a set of functions", in the s
822.
by Smaug123 5y ago
I would add only one thing to the article. Algebraic data types are so great because they are so dumb . ADTs are inherently stateless, for example (as long as you don't put stateful things inside them). This makes them extremely easy
823.
by Smaug123 5y ago
For more mind-blowing stuff, try learning F#, where async/await as a language feature is something you could implement entirely in user-space (though of course you need to access the .NET APIs if you want to implement parallelism). F#
824.
by Smaug123 5y ago
Just a parser which fires events you can listen on when its internal state machine changes state.
825.
by Smaug123 5y ago
This is nothing to do with the physical security of digital nomads. Rather, it is a post exploring how an uploaded human emulation could avoid problems like "someone copies me and tortures the copy".
826.
Secure Homes for Digital People(sideways-view.com)
5 points by Smaug123 5y ago|1 comments
827.
by Smaug123 5y ago
It's normal to experiment with new concepts in a new language built around that concept. Then eventually, if it's a good idea, other languages get the hint.
828.
by Smaug123 5y ago
For what it's worth, I've never done it but I also reacted "er, surely the bag's going to dissolve".
829.
by Smaug123 5y ago
I'm surprised they didn't mention Unison ( https://www.unisonweb.org/ ), whose big idea is an immutable content-addressable store of ASTs. I really hope it changes everything.
830.
by Smaug123 5y ago
WhatsApp's desktop version is crippled because it requires connectivity to your phone in order to use it. I believe they're working on a client that doesn't require that, but it's not here yet.
831.
by Smaug123 5y ago
Note that Grpc.Core is deprecated, and will be entirely unsupported some time next year. grpc-dotnet, which is AFAICT the only replacement, by design requires ASP.NET Core for the gRPC server. That is, there is no upgrade path for the .NET
832.
by Smaug123 5y ago
Wasn't sure if Hacker News would like this one, but I found it absolutely mind-blowing. You know the "Darmok" episode of Star Trek: TNG, where our plucky heroes get in trouble because they can't communicate with an alien
833.
Pikachu, his eyes enormous. Pikachu and Bulbasaur at the hidden village(twitter.com)
5 points by Smaug123 5y ago|1 comments
834.
by Smaug123 5y ago
Long history and baggage of object orientation, I suppose. There's nothing inherently mutable about dot-notation (indeed, F# uses it for accessors on immutable records as well as for "proper" object-orientation), but lots o
835.
by Smaug123 5y ago
Mathematica has `f[a,#,b]&`, for example, which is syntactic sugar for `Function[{x}, f[a,x,b]]`, i.e. the function that takes one argument and calls `f` with that argument as the middle parameter and `a, b` as the first and last parame
836.
by Smaug123 5y ago
Of course they don't have to. As I said, they encourage you to think in the object-orientation "encapsulate state and teach it how to mutate itself on demand" way, but you don't have to use them that way.
837.
by Smaug123 5y ago
I merely explain where the pipeline operator came from and why it's preferred in F#: because it plays nicely with immutable data and the Hindley-Milner type inference algorithm. I make absolutely no comment about the sanity of adding a
838.
by Smaug123 5y ago
It's a mindset thing. The pipeline operator encourages you to think about repeatedly transforming static dumb data. Dot-operators encourage you to think about repeatedly asking some smart blob of state to mutate itself. So the pipeline
839.
by Smaug123 5y ago
Come on - obviously bad driving is not primarily an infectious airborne pathogen. Bad driving is something you can unilaterally inflict on other people to permanently ruin their lives, as is an infectious airborne pathogen.
840.
by Smaug123 5y ago
"Statically typed" means roughly that variables have known types at compile time, for whatever the word "type" means in your chosen language. "No GC" means, well, that there is no runtime entity that manages me

More ›