log☇︎
1714 entries in 0.9s
BingoBoingo: You just end up poorly reimplementing Common Lisp or Ada
thestringpuller: lol gtk-ada
asciilifeform: thestringpuller: gnat's the only game in town for ada
thestringpuller: What ada compiler should I learn on?
lobbes: So one defines their own data types in ADA? I'm not sure why I find that interesting
asciilifeform: but the result adds up to the fact that there will never, ever be an 'underhanded ada contest'
assbot: Ada Programs ... ( http://bit.ly/1BIwYJr )
jurov: http://cs.fit.edu/~ryan/ada/programs/ << some samples
PeterL: in my initial introduction to ada, it seems verbose, with extra words hanging around where a symbol could work just fine
asciilifeform: PeterL: but you'll find that much of what programmers actually object to in ada is precisely the good parts ☟︎
thestringpuller: asciilifeform: so brought up ADA at work, and coworker started having Vietnam-esque flashbacks from school. Is this normal behavior?
asciilifeform: was to be the ada-in-bed machine
asciilifeform: if asking about ada, the standard requires platform-independent 100% usable threading
BingoBoingo: Amazingly sbcl, no problem on OpenBSD. Any Ada at all, huge fucking pain.
mircea_popescu: http://log.bitcoin-assets.com/?date=04-03-2015#1040184 << obviously, their ada wasn't tested. ☝︎
decimation: macports has a 'port' of gcc-gnat , but it requires an existing ada compiler to build
decimation: asciilifeform: I spent a few days trying to get ada working on osx 10.9, gave up
asciilifeform: speaking of the ada foundation, i randomly tested their mac port ( http://mirrors.cdn.adacore.com/art/ee55f5eb79cb118552c03fc83fa2d5c1580f5353 ) and it only segfaults.
asciilifeform: adlai: interestingly, symbolics lisp mach. had full datastructure interoperability between zetalisp, common lisp, fortran, ada, - even c.
asciilifeform: BingoBoingo: if you insist on the ada foundation's bleeding edge thing - that's another matter that i can't help with
asciilifeform: BingoBoingo: if gcc works, so will ada, enable it when configuring gcc
BingoBoingo: asciilifeform: Dragonfly ports are mostly loose FreeBSD ports with little guarentee of working. There are older Ada and the visual Ada IDE ports for OpenBSD, but... it seems fuckers would on the whole rather test "go"
BingoBoingo: <asciilifeform> decimation: but in this case the package manager is not at fault. someone deliberately sabotaged a library. << So on OpenBSD I'm nt finding an Ada port or package that works with sufficient frequency to make it too the tree. Looking like the turdswitch may have been flipped in GCC
asciilifeform: ada's the only game in town for this not-uncommon set of constraints
asciilifeform: adlai: i'd love to learn of a substitute for ada
adlai: asciilifeform: any particular reason for your love of ada, specifically?
ascii_field: jurov: i don't think i will ever -enjoy- ada. but the more one studies it, the less escapable is the conclusion that 1) it is a necessary thing 2) for which there is, at present, no credible alternative whatsoever
jurov: ascii_field: you seen a pamflet claiming ada was intended as elaborate hoax to set back russian progrmamers?
assbot: Ada_Ru ... ( http://bit.ly/1zFCC9e )
ascii_field: http://www.ada-ru.org/prj_doc.html << ru ministry of defense's documentation centre, allegedly, runs on gnat
asciilifeform: ada is also used in the banking sector (the only countries for which i have strong clues of this being the fact are ch and ua)
asciilifeform: (there's a 'bleeding edge' version pushed out by ada foundation, which slowly merges back into gcc, as i understand. that version is also gpl, but the standard lib is also gpl - unlike the gcc ada, where it is lgpl)
asciilifeform: decimation: i've no personal knowledge of american ada 'warez' being used in ru (PL/I, oddly enough - yes)
decimation: asciilifeform: it amuses me that there are fans of ada in ru
ascii_field: for gentoo/ada folks: that overlay actually -works-
ascii_field: mircea_popescu: have the pets learn ada
ascii_field: http://www.ada-ru.org/gentoo/overlay
ascii_field: achtung ada users on gentoo!
assbot: Ada Bare bones - OSDev Wiki ... ( http://bit.ly/1E4SHgu )
punkman: interesting http://wiki.osdev.org/Ada_Bare_bones
asciilifeform: but so long as your expectations are realistic, something like what's described in earlier link (an excruciatingly-fascist subset of ada) doesn't hurt
asciilifeform notes that ada draft dates to '79
asciilifeform: http://www.tc.umn.edu/~puk/tetris.txt << from comments, tetris in traditional ada
BingoBoingo: Installing/testing ada began today
asciilifeform: BingoBoingo: don't expect a repl, ada is a classical compiled thing like c or fortran
assbot: Ada Tutorial and Free Ada Compilers ... ( http://bit.ly/1E1MDFu )
asciilifeform: use ada.text_io;
asciilifeform: with ada.text_io;
assbot: Hypertext Ada 95 Rationale - Part Three - Chapter H ... ( http://bit.ly/1E1LeyH )
assbot: Ada 2012 : Ada Comparison Chart ... ( http://bit.ly/1AwY998 )
punkman: asciilifeform: should I be looking at ada 2012 flavour? ☟︎
punkman: I'd be interested in learning Ada (or other language), but damn that's some gnarly syntax
asciilifeform: do any of you feel up to the task of ada-izing this ?
asciilifeform opened today's mail, is leafing through 'ada 95 rationale' and it's a joy
BingoBoingo: It is amusing. Still when it comes time to replace GPG it will look more like https://github.com/tedu/reop than any Moxenslit iPerson thing (except... with RSA support and done in ADA/Common Lisp)
asciilifeform: ada, like common lisp, is interesting for the mostly-complete absence of any obviously braindamaged decisions forced upon the user
decimation: asciilifeform: unfortunately ada (derived from pascal-algol) has 1-based array indexes
asciilifeform: just got 'ada 95: the language, reference manual, and standard libraries' ansi/iso/iec-8652:1995 in the post ☟︎
BingoBoingo: <asciilifeform> i can already picture 'teh phyootur' where the ada-on-bare-metal meta-foundation(tm) is laughing at us << Irony of USG sponsored Ada saving the world from C is delicious
asciilifeform: i can already picture 'teh phyootur' where the ada-on-bare-metal meta-foundation(tm) is laughing at us
asciilifeform: unlike ada, it is not actually possible to program in c -as standardized-
decimation: yeah it seems like a waste of time trying to turn the c-dialect of algol into the ada dialect
asciilifeform: because that market is already thoroughly owned by the ada folks
decimation: it seems with a pl like ada, it mostly comes 'built-in'
asciilifeform: pete_dushenski: do it in 'ada' !
asciilifeform: puts some light on why there will never be an 'underhanded ada' contest.
assbot: Programming in the Small: C/C++/Java Pitfalls & Ada Benefits - Franco Gaspe... ... ( http://bit.ly/17igBGT )
asciilifeform: http://www.slideserve.com/saber/programming-in-the-small-c-c-java-pitfalls-ada-benefits << interesting - for aficionados of 'underhanded c' also
decimation: apparently the 'new' system is a complete rewrite in ada
asciilifeform: quite a few usg-sponsored war projects are still -struggling to modernize to ada-
asciilifeform: (ada is quite like a more 'fascist' incarnation of pascal)
asciilifeform: i can sorta see why naggum went in for ada
asciilifeform: at any rate, all of the ada-related material is thoroughly public
assbot: The Boeing 777 Flies on 99.9% Ada ... ( http://bit.ly/1AQmXtd )
decimation: http://archive.adaic.com/projects/atwork/boeing.html << "For these projects, Honeywell purchased DDC-I, Inc.'s Ada Compiler System, using it as the front-end source for Honeywell's symbolic debugger. "
asciilifeform: but this being one of the only two programming languages in existence which are -standardized in their entirety-, in principle there is no reason - aside from retardation - to use a proprietary ada
asciilifeform: there are proprietary ada systems, yes. i have not been able to learn who uses them, and for what.
asciilifeform: the certificate has nothing to do with ada per se
asciilifeform: (one of the conditions for the ancient usg mandate establishing ada 'foundation' is that the product must be gpl'ed)
asciilifeform: i've learned that there is not actually a good substitute for ada, as of yet.
decimation: asciilifeform: that was a neat link about ada
assbot: Who's Using Ada? ... ( http://bit.ly/1A3THyf )
asciilifeform: (for folks following the gnat thread, http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html )
decimation: asciilifeform: I suppose that if one really wants an os written in ada that 'fits in head' - one should write it himself
decimation: asciilifeform: the 'RTEMS' os https://devel.rtems.org/wiki/TBR/UserManual/RTEMSAda < supports ada, is open source, but is written in C
assbot: Gentoo Forums :: View topic - The state of Ada on Gentoo ... ( http://bit.ly/1zhtGIb )
decimation: asciilifeform: there's also ARINC standard 653 if you want an RTOS along with your ada
asciilifeform: there are interesting things to be learned from the ada approach, if you can pinch your nose and get past the 'ick factor'
decimation: the problem is that many of the promises of ada cannot be kept by the underlying hardware
asciilifeform: i advise folks to learn enough ada to understand why something quite like it is necessary.
asciilifeform: or rather, the ada component of gcc is based on the ancient usg-commissioned thing
asciilifeform: avionics, power plant controls, the like - systems whose failure reliably produces piles of corpses and messy 'pr' - are still very heavy on ada.
decimation: asciilifeform: even usg has abandoned ada
asciilifeform: and yes - ada.
mircea_popescu: ada and lisp ?
decimation: asciilifeform: what are you trying to compile that is written in ada?
assbot: Ada Programs ... ( http://bit.ly/1Cpq1LF )
asciilifeform: http://cs.fit.edu/~ryan/ada/programs << examples
assbot: 1 results for 'ada from:mircea' : http://s.b-a.link/?q=ada+from%3Amircea
mircea_popescu: !s ada from:mircea