[go-nuts] Re: Typed DSL in Go (or sum types and GADTs in Go)

2021-11-23 Thread Aram Hăvărneanu
quot;don't blow up", while it's very easy for code that uses generics to "blow up". It is unclear whether this property will continue to hold if we introduce abstraction over type constructors. -- Aram Hăvărneanu -- You received this message because you are subscribed t

Re: [go-nuts] Have you seen any static analysis checker for sync.Mutex.Unlock() call?

2021-09-21 Thread Aram Hăvărneanu
Congratulations on solving the halting problem! PS: use defer otherwise you aren't panic-safe. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it

[go-nuts] Typed DSL in Go (or sum types and GADTs in Go)

2021-08-24 Thread Aram Hăvărneanu
it is purely existential. In fact, if one only wants plain | ADTs, generics are not needed at all. Go can encode sum | types, and was always able to. You will need Go tip to compile this. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups &q

Re: [go-nuts] Any non-split 'print' functions available?

2019-11-01 Thread Aram Hăvărneanu
For this type of thing I'd recommend a debugger. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@g

Re: [go-nuts] Are there typed variables?

2018-12-18 Thread Aram Hăvărneanu
I hope so. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, v

Re: [go-nuts] How to add a new operator

2018-12-09 Thread Aram Hăvărneanu
Start with go/src/cmd/compile/internal/syntax and go from there. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nut

Re: [go-nuts] go language sensitive editor?

2018-11-22 Thread Aram Hăvărneanu
subscribe to that idea. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.

Re: [go-nuts] Go fonts for linux (plan9port) acme?

2018-10-13 Thread Aram Hăvărneanu
Window's font rendering is simply wrong. Linux's is very similar to macOS's. I tried the Go fonts in acme, but reverted to Lucida Grande. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubs

Re: [go-nuts] Go 1.8 or higher on Solaris sparc64.

2018-04-04 Thread Aram Hăvărneanu
The solaris/sparc64 Go port project has been discontinued until further notice. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to g

Re: [go-nuts] go build -o option not creating a standalone executable, pls help

2018-02-25 Thread Aram Hăvărneanu
I can guess that you are building a mac binary and then try to run it on Linux. You need to cross-compile your binary for linux/amd64: GOOS=linux GOARCH=amd64 go build foo. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts&q

Re: [go-nuts] Re: Go += Package Versioning

2018-02-23 Thread Aram Hăvărneanu
here: https://github.com/golang/go/issues/23972#issuecomment-368077927 -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubs

[go-nuts] Re: [golang-dev] Go += Package Versioning

2018-02-21 Thread Aram Hăvărneanu
ese files could be guarded by build-tags, so old compilers ignore them, just like how old compilers ignore the go.mod file. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop recei

Re: [go-nuts] Does golang support SystemTap well?

2017-09-20 Thread Aram Hăvărneanu
support function return we would have to change the Go calling convention. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nut

Re: [go-nuts] Does golang support SystemTap well?

2017-09-19 Thread Aram Hăvărneanu
rs in the generated C kernel driver (whtout mangling), which then didn't even compile. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [go-nuts] Re: Go one-line installer

2017-08-02 Thread Aram Hăvărneanu
m to be productive time. Sorry. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more op

Re: [go-nuts] pet peeve: it's Go not golang

2017-07-25 Thread Aram Hăvărneanu
And certainly neither Google Go nor Google golang. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@google

Re: [go-nuts] few questions about runtime implementation

2017-07-17 Thread Aram Hăvărneanu
> nitpick. os3_solaris.go.go set stack size by itself, instead of > using default one. is it intentional? You mean why does it explicitely ask for a 2MB stack when 2MB stacks are the default? I can't remember the exact reason I did that but it was a workaround for some sort of bug

Re: [go-nuts] few questions about runtime implementation

2017-07-17 Thread Aram Hăvărneanu
don't seem to force external linking, but I am not sure whether internal linking is supposed to work or not. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emai

Re: [go-nuts] Reading stdlib for education about go?

2017-05-12 Thread Aram Hăvărneanu
The good parts. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, v

Re: [go-nuts] why golang's tuntime.gogo not restore normal registers

2017-04-13 Thread Aram Hăvărneanu
Because in Go general purpose registers are caller save. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nut

Re: [go-nuts] Re: Go on Solaris 10 amd64

2017-04-03 Thread Aram Hăvărneanu
What's the question? Go works on Solaris 11 and later only (including illumos). It does not work on Solaris 10 and likely never will because Solaris 10 lacks event ports. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts&

Re: [go-nuts] Connect to a mainframe

2017-03-28 Thread Aram Hăvărneanu
go get ibm.com/mainframe -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.c

Re: [go-nuts] Go Fonts: request for feedback

2017-02-05 Thread Aram Hăvărneanu
nfirm that the conversion done by fontsrv (using either FreeType or Quartz) is not great. Thanks, -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send

Re: [go-nuts] Cross Compiling and Go Native and "What is a C library"

2017-01-26 Thread Aram Hăvărneanu
ard-compatible this way) . -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For m

Re: [go-nuts] cross-compilation for go-gl applications

2017-01-23 Thread Aram Hăvărneanu
internal or external linking. CGO_ENABLED=1 CC=sparcv9-solaris2.12-gcc GOOS=solaris GOARCH=sparc64 go build -ldflags='-linkmode=external' foo If I were you, I would rather find a way to build natively. -- Aram Hăvărneanu -- You received this message because you are subscribed to

Re: [go-nuts] Golang asm to real asm table/doc/tool

2016-11-29 Thread Aram Hăvărneanu
re assembly than Go these days, and I never have a problem with the lack of this mapping. That being said, for sparc64 there is indeed a much better documented mapping. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To

Re: [go-nuts] Golang asm to real asm table/doc/tool

2016-11-29 Thread Aram Hăvărneanu
Hi Matt, There isn't any such document, but you can read the source code or use objdump. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, se

Re: [go-nuts] Re: Deleting the /r/golang subreddit

2016-11-25 Thread Aram Hăvărneanu
mmunity for every type of individual. It does not mean you have the right to delete it. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, sen

Re: [go-nuts] Deleting the /r/golang subreddit

2016-11-25 Thread Aram Hăvărneanu
Hey, I have a better idea, why not delete golang.org, and the Go language itself? After all, it is hosted on Google servers, and Google engages in unethical and illegal behavior: https://www.quora.com/What-are-examples-of-Google-acting-unethically-or-illegally -- Aram Hăvărneanu -- You

Re: [go-nuts] Re: Deleting the /r/golang subreddit

2016-11-25 Thread Aram Hăvărneanu
need to decide what to do with /r/golang > (make it private, delete it, pass on ownership and request that > it be labeled unofficial in the sidebar, etc). Pass it on to whoever, and make it clear in the sidebar that this is not officially associated with the Go project. -- Aram Hăvărneanu --

Re: [go-nuts] Avoiding function call overhead in packages with go+asm implementations

2016-11-18 Thread Aram Hăvărneanu
On Fri, Nov 18, 2016 at 4:41 AM, Caleb Spare wrote: > Aram gave me the idea of using //go:linkname as a hacky workaround; > this doesn't work within a single package What do you mean exactly? It works here, in fact, I use this. -- Aram Hăvărneanu -- You received this message beca

Re: [go-nuts] GoLang assembly support shifted operands?

2016-11-14 Thread Aram Hăvărneanu
They used to be supported but I think I dropped them with the old C assembler. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to g

[go-nuts] Stalking people online for thought crimes! This is what the Go project has succumbed to!

2016-10-27 Thread Aram Hăvărneanu
ual property 2) someone who realized the thief's command of the English language is so poor, he cannot be understood. Thank you. PS: I suspect it's the thief himself who reported me to your organization, and because your extrajudicial court works so well, you have managed to sentence t

Re: [go-nuts] Re: Tooling experience feedback

2016-10-20 Thread Aram Hăvărneanu
/rc4 0.008s ok crypto/rsa 0.002s ok crypto/sha1 0.003s ok crypto/sha256 0.004s ok crypto/sha512 0.006s ok crypto/subtle 0.008s ok crypto/x509 0.002s ? crypto/x509/pkix [no test files] : emerald:aram; -- Aram Hăvărneanu -- You received this message because you are subscribed to the

Re: [go-nuts] Re: Tooling experience feedback

2016-10-20 Thread Aram Hăvărneanu
ith the linker, and success is a binary that just exits successfully. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-

Re: [go-nuts] Why no bytes.InsertByte(s []byte, p int, b byte) []byte ?

2016-10-18 Thread Aram Hăvărneanu
e. > > Also, bytes.Replace already exists. > Also, slice lengths are signed integers, not unsigned integers. I suggest you familiarize more with slices before suggest these "improvements". -- Aram Hăvărneanu -- You received this message because you are subscribed to the Googl

Re: [go-nuts] Why no bytes.InsertByte(s []byte, p int, b byte) []byte ?

2016-10-18 Thread Aram Hăvărneanu
y exists. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://g

Re: [go-nuts] How to fork or create a subprocess?

2016-09-29 Thread Aram Hăvărneanu
You can't use fork in multithreaded programs (except to call exec), and all Go programs are multithreaded. You can use os/exec to start new programs, however. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group.

Re: [go-nuts] Cross-compilation of golang assembly via 'go tool asm'

2016-09-13 Thread Aram Hăvărneanu
d and processed by a single program, however the assembly code required for each target is very different. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails f

Re: [go-nuts] Re: Close a reader to quit a loop without closing its source

2016-09-01 Thread Aram Hăvărneanu
uthority over this, but believe it is wrong. The control structure appeared in Tony Hoare's communicating sequential processes, and it is present in Go's predecessors developed at Bell Labs. It's present (at least) in Squeak (although that used the original CSP, not the revised versi

Re: [go-nuts] Generating x/sys/unix cross-platform

2016-08-22 Thread Aram Hăvărneanu
After all, that is how they were originally generated, before Go ran on that platforms. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email

Re: [go-nuts] Re: Ideas for a Go interpeter, feedback requested

2016-08-22 Thread Aram Hăvărneanu
g is possible, it's just software. Some people thing everything is feasible too, that's the problem with our industry; however, in this case what you describe is very feasible. I have semi-concrete plans for such a port after I am done with sparc64 and arm64 SSA. -- Aram Hăvărne

Re: [go-nuts] Cross compilation to see assembly outputs with go tool compile

2016-08-20 Thread Aram Hăvărneanu
You might also be interested in GOOS=linux GOARCH=arm go build -gcflags='-S' foo or GOOS=linux GOARCH=arm go build -gcflags='-S' -asmflags='-S' foo -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "

Re: [go-nuts] go process memory limits and gurantees

2016-08-08 Thread Aram Hăvărneanu
On Sun, Aug 7, 2016 at 4:37 AM, gaurav wrote: > Please let me know if there is something I have missed to read regarding > this or if there is already a way to achieve this? There is not. -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google

Re: [go-nuts] bodyless functions in standard libary

2016-07-13 Thread Aram Hăvărneanu
https://golang.org/doc/asm -- Aram Hăvărneanu -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more opti

Re: [go-nuts] Where can I find the format definition of stack trace?

2016-06-29 Thread Aram Hăvărneanu
On Wed, Jun 29, 2016 at 3:28 PM, Jingguo Yao wrote: > Could you point out where you find the format information? As far as I know, it is not formally documented anywhere (and can change at any time). -- Aram Hăvărneanu -- You received this message because you are subscribed to the Goo

Re: [go-nuts] Where can I find the format definition of stack trace?

2016-06-29 Thread Aram Hăvărneanu
> What is the meaning of +0x2d following the line number? The address of the assembly instruction relative to the start of the function. > And what is the meanings of the numbers in > Commit(0xc8201a86e0, 0x0, 0x0)? Those are the function arguments. -- Aram Hăvărneanu -- You rece