Re: [go-nuts] Re: 'go run hello.go' taking ~30 seconds on windows

2024-03-20 Thread Larry Clapp
I found this webpage from MS which talks about configuring Windows Defender. https://support.microsoft.com/en-us/windows/turn-off-defender-antivirus-protection-in-windows-security-99e6004f-c54c-8509-773c-a4d776b77960 I'm running a Windows 10 VM via VirtualBox on a MacBookPro. I have my $HOME (wh

Re: [go-nuts] A thought on contracts

2018-09-12 Thread Larry Clapp
> > we should have a tool that, given a contract body, produces a minimal > contract body that expresses the same contract. And run it on save, like gofmt. Or just make it part of gofmt. On Thursday, September 6, 2018 at 4:22:34 PM UTC-4, Ian Lance Taylor wrote: > > On Wed, Sep 5, 2018 at 8:2

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-11 Thread Larry Clapp
it easier"). — L On Tuesday, September 11, 2018 at 9:53:33 AM UTC-4, Axel Wagner wrote: > > Hi Larry, > > On Tue, Sep 11, 2018 at 3:25 PM Larry Clapp > wrote: > >> This question frankly struck me odd, given the context. To paraphrase: >> "Do I have exampl

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-11 Thread Larry Clapp
t; Do you have actual examples of how that would be useful to you? > > On Monday, September 10, 2018 at 9:45:12 PM UTC-4, Larry Clapp wrote: >> >> The conversation here is deep, and I haven't followed all of it. I >> *think* y'all are discussing some different contr

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-10 Thread Larry Clapp
The conversation here is deep, and I haven't followed all of it. I *think* y'all are discussing some different contract system than the actual draft proposal? If that's the case: You can't express field-accessors, which is an actual, inarguable reduction > in power that I'm perfectly fine wi

Re: [go-nuts] contracts referring to other contracts defined in the same package

2018-09-08 Thread Larry Clapp
ion to an interface type." It'd be nice if you could define said interface type in the same file, and not inline with the contract. — L On Saturday, September 8, 2018 at 4:42:34 PM UTC-4, Ian Lance Taylor wrote: > > On Sat, Sep 8, 2018 at 1:16 PM, Larry Clapp > wr

[go-nuts] contracts referring to other contracts defined in the same package

2018-09-08 Thread Larry Clapp
The draft proposal says "The body of a contract may not refer to any name defined in the current package" but then later has this example package move contract counter(x T) { var _ int = x.Count } contract counters(T1, T2) { // as with a func, parameter names may be omitted. // Use contrac

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-07 Thread Larry Clapp
he "way" is "using as key in a map" or "using as > comparable value"? > > If I'm passing an argument to a function F, is the implied contract > that "you can call F with that argument" or "you can call any function > with the same

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-07 Thread Larry Clapp
checking succeeds, the type arguments are valid. Thanks anyway. On Friday, September 7, 2018 at 10:17:41 AM UTC-4, Larry Clapp wrote: > > contract { var _ map[T]bool } > > > Would this contract allow T to be used in a map to some other type than > bool? e.g. map[T]int? If so, w

Re: [go-nuts] Re: Generics as builtin typeclasses

2018-09-07 Thread Larry Clapp
> > contract { var _ map[T]bool } Would this contract allow T to be used in a map to some other type than bool? e.g. map[T]int? If so, why? Why is bool a stand-in for "any type"? (I apologize if this has been dealt with elsewhere; this is a big topic.) On Thursday, September 6, 2018 at 7

Re: [go-nuts] Why can't we use unicode? [Go2 Generics]

2018-09-07 Thread Larry Clapp
Need more shift keys! I'm pretty sure if I used them every day, I'd learn pretty quickly that « & » are from opt-\ and shift-opt-\, and ‹ & › are from shift-opt-3 & 4. Windows users ... are on their own. Find a use for the otherwise-poorly-used numeric keypad, maybe. (Sometimes I wish Macs co