merd-devel Mailing List for practical futuristic language
Status: Pre-Alpha
Brought to you by:
pixel_
You can subscribe to this list here.
2000 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(5) |
Sep
(43) |
Oct
(15) |
Nov
(20) |
Dec
(2) |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2001 |
Jan
(12) |
Feb
(20) |
Mar
(7) |
Apr
(18) |
May
(23) |
Jun
(4) |
Jul
(2) |
Aug
(19) |
Sep
(3) |
Oct
(19) |
Nov
(27) |
Dec
(23) |
2002 |
Jan
(2) |
Feb
(16) |
Mar
(18) |
Apr
(16) |
May
(24) |
Jun
(2) |
Jul
(3) |
Aug
(1) |
Sep
(16) |
Oct
|
Nov
|
Dec
|
2005 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
(1) |
Nov
|
Dec
(1) |
2006 |
Jan
|
Feb
(2) |
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
(2) |
Oct
(8) |
Nov
|
Dec
|
2007 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
|
Nov
|
Dec
|
2008 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
2009 |
Jan
(1) |
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
From: Secretariat C. C. <sec...@ch...> - 2009-01-31 01:06:36
|
Dear Colleague, You are kindly invited to participate to the forthcoming Nonlinear Analysis Conference titled: 2nd Chaotic Modeling and Simulation International Conference (CHAOS2009), Chania, Crete, Greece, June 1-5, 2009. The forthcoming International Conference (Chaos2009) on Chaotic Modeling, Simulation and Applications will take place at the MAICh Conference Centre, Chania, Crete, Greece (June 1-5, 2009). The general topics and the special sessions proposed for the Conference (Chaos2009) include but are not limited to: Chaos and Nonlinear Dynamics, Stochastic Chaos, Chemical Chaos, Data Analysis and Chaos, Hydrodynamics, Turbulence and Plasmas, Optics and Chaos, Chaotic Oscillations and Circuits, Chaos in Climate Dynamics, Geophysical Flows, Biology and Chaos, Neurophysiology and Chaos, Hamiltonian Systems, Chaos in Astronomy and Astrophysics, Chaos and Solitons, Micro- and Nano- Electro-Mechanical Systems, Neural Networks and Chaos, Ecology and Economy. For more information and Abstract/Paper submission and Special Session Proposals please visit the conference website at: http://www.chaos2009.net Kind regards On behalf of the Conference Committee Prof. Christos H. Skiadas Data Analysis and Forecasting Laboratory Technical University of Crete Chania, Crete, Greece sk...@ch... ; sk...@as... New book from Chapman & Hall/CRC: Chaotic Modelling and Simulation: Analysis of Chaotic Models, Attractors and Forms Previous Conference: Chaotic Modeling and Simulation International Conference (CHAOS2008), 3-6 June 2008, Chania Crete Greece If you don't like to receive messages regarding the CHAOS2009 Conference, please click here: Remove |
From: benn l. <sjp...@re...> - 2008-08-13 18:38:57
|
decide, prescriptions Worldwide Shipping check out here |
From: Carlo W. <Ub...@ex...> - 2007-09-27 10:15:32
|
Hello, Visit our new online store and save. http://www.irventzhealthh.com/ The most popular one is available free shipping worldwide with no need for any visits. http://www.irventzhealthh.com/ Dr. Charley Frost |
From: Christi H. <ss...@ba...> - 2006-10-26 19:10:34
|
We are living in a time of resource, and those with the mineral wealth are those with the power and money. oil, gold, property; all at record highs. It's where you need to be. Our next feature has achieve that position, and is now starting heavy mass promotion to let everybody know it. This c0mpany is none other than AUNI. AUNI is specialized in mineral wealth ventures. An incredible discovery is coming out of the company and will be backed up with a smashing publicity blitz. --- AUNI . OB Cap: 92.85M --- After a minor pullback on Wednesday, we are certain to see a boost of over 300% over the next week. There is no reason you should not allow yourself to benefit from a big break. Don't let this one pass over. |
From: Dave H. <gl...@ba...> - 2006-10-24 19:02:40
|
Get in on EQTD first thing Tuesday. This is going to soar over the next week. Already there has been a 100% appreciation within the first few hours, so do it quick. With oil markets retreating, big traders are turning to gold, driving it to levels never before seen. EQTD has made an announcement of staggering proportions related to a recent survey on one of their gold properties. The inside scoop is that we will be looking at a quadrupling of share price once the public takes notice: CHICAGO, ILLINOIS-(MARKETWIRE)-Oct 23, 2006 - Equal trading is pleased to announce survey results which have far exceeded our expectations. Results from our British Columbia property show a 58,000 ounce potential. Plans are already underway for immediate development. We look forward to this extraordinary discovery bringing value to our shareholders. At 600$ an ounce this discovery is worth 34.8 mil$. With 865mil shares outstanding, this would give us a book value of 0.04 (current price is under 1 cent). Don't miss this one. The value is there. The opportunity is there. Don't let it pass you by. |
From: Frederic R. <wk...@aw...> - 2006-10-23 02:59:00
|
The great prognosis are drawn up. The increase is up to 70% in the last three days. (MXXR) is the profitable deal and those who knows it is making money. The drilling achivements of this highly capable oil company exceeded all its expectations. Once this information hits the outdoors there will be no stopping this one. today it's around 0.022 but we are expecting it to triple. Once the news is made and the PR gets into full brandish. Don't hesitate and miss out. We propose you to buy today. The key is getting in early and you have little time. We have been told that Monday is the day it will detonate. Take a position before that happens. |
From: Archie U. <xc...@aw...> - 2006-10-20 14:35:51
|
Ground Floor Oil & GAS Company with a Halliburton at the Helm Allied Energy Group, Inc. **OTC-AGGI** This company is debt free and financially stable. Watch this company with both eyes wide open starting right now Major News was released after the close of the day (Go online and read the news now it's major) Approximately 1 million shares are in the public float and trading as AGGI only since August 17, 2006. I told you this was ground floor as it gets. I meant that. disclaimer All material herein was prepared based upon information believed to be reliable. The information contained herein is not guaranteed to be accurate, and should not be considered to be all-inclusive. The company that is discussed in this opinion have not approved the statements made in this opinion. This opinion contains forward- looking statements that involve risks and uncertainties. This material is for informational purposes only and should not be construed as an offer or solicitation of an offer to buy or sell securities. We are not a licensed broker, broker dealer, market maker, investment banker, investment advisor, analyst or underwriter. Please consult a broker before purchasing or selling any securities viewed or mentioned herein. We are expecting to receive cash no amount has been decided on..We will report on compensation as soon as we finalize the price. These stocks are highly violatile, and you can lose all your money. They can trade very high and very low in minutes; we suggest if you are not a savvy investor you sit back and watch. |
From: Elias F. <uq...@ba...> - 2006-10-19 19:29:07
|
------------------------------------ Company name: Texhoma Energy, Inc. Stock symbol: TXHE.PK Current price: 0.12 (up 50% this week) Expected price 10/20/2006: 0.52 ------------------------------------ The information mentioned herein has not been released to the general public and should be kept confidential until its scheduled announcement on Friday, October 20. I strongly suggest that you get in before then. HOUSTON, TEXAS--(MARKET WIRE)--October 20, 2006 -- Texhoma Energy, Inc. [TXHE] is pleased to announce Successful drilling results on the Clovely site. As mentioned in earlier updates we encountered two expansive gas pockets with a flow rate estimated at 900 MCF of gas per day. Today we are happy to report the discovery of an oil reservoir which has far exceeded our initial expectations. Recoverable reserves are estimated at 2mil barrels and plans are in place to start additional drilling in order to take advantage of this very fortunate situation. As always, we will keep our shareholders abreast of the latest happenings. With offices in Houston, Texhoma Energy Inc. is a junior international oil and gas company focused on acquiring, developing and producing oil and gas. The Company is currently active in the southern United States. The Company's principal geographic area of focus lies in the wider Gulf of Mexico petroleum basin, which includes onshore and in-shore opportunities. The Company participates in a selected number of oil and gas ventures through judgment by a small team of experienced professionals. Recently these experts have had a string of successes which will be reflected in upcoming revenue reports. Revenue from production is estimated to be worth $120mil. With 177mil shrs outstanding this gives us a book value of 0.67 This is a great opportunity for you to make the market work for you. After 10/20/2006 the price will increase significantly. |
From: Roscoe M. <yj...@ba...> - 2006-10-18 10:29:50
|
hi Roscoe i hope this is your e-mail. I was happy to see you the other day. I hope you was excited about New York. So much so much happening all the time, lots of great opportunities. And speaking of opportunities, the deal I was speaking you about yesterday embraces a company named Tex-Homa (TXHE). It's already heading up, but the big announcement isn't even out yet, so there's still time. I have got this shares already and made 2000. I propose you to do the same today. Hope this helps you out. I'll see you this weekend. Yours Roscoe Myers |
From: Abby F. <sq...@ba...> - 2006-10-15 11:32:20
|
GDKI IS DOING EVERYONE BANK! THIS ONE IS SURE TO RISE! OBSERVE GDKI TR ADE ON MONDAY OCT 16! Firm: GOLDMARK INDUSTRIES (Other OTC:GDKI.PK) Symb0l : GDKI Price: $1.415 5-day Tar get: $15 THIS SHARES WILL EXPERIENCE FANTASTIC GROWTH AS HEAVY PR CAMPAIGNS BEGIN ! GDKI PUBLIHES BREA KING NEWS! * Goldmark Signs Multi-Picture Development Deal with RAD Pictures -- Frost's Remix of His Groundbreaking Single, 'La Raza' is Currently on High Rotation ABOUT GDKI: Goldmark Industries is committed to supply the best in all forms of urban entertainment to the 45 Million Hip-Hop consumers in North America. The average North American spends clothing & health care on entertainment than they do on more money, making entertainment the most attractive industry for investors and advertisers alike. Goldmark Industries is preparing to stand at the forefront of the Hip Hop consumer market, specializing in all aspects of entertainment, including Major Events ,Home Video/DVD ,Television ,Feature Films and Music. The strength of Goldmark Industries is the result of its highly continuously and reputable growing management team. The knowledge and experience that each team member brings consistently supports the growing success of each division at Goldmark Industries. In addition, they are associated with some of the world's leading entertainment companies and top distribution channels worldwide, providing Goldmark Industries with the relationships to continually move forward. ENTERTAINMENT IS A MULTI-BILLION INDUSTRY! DON'T MISS AND WATCH THIS OPPORTUNITY PASS BY! WATCH GDKI GO UP ON MONDAY OCTOBER 16! |
From: Kristine <dam...@ro...> - 2006-09-23 19:23:02
|
Working People Need This Academic Qual ifications available from prestigious Non-A ccredited universiti es. Do you have t he knowledge and the experience but la ck the qualifications? Are you getting turne d down time and time again for the j ob of your d reams because you just don't have the right letters after you r name? Get the prestige that you deserv e today! Move ahead in your career today! Ba chelors, Mast ers and PhD 's ava ilable in your field! No examinations! No classes! No textbooks! Call to register and receive your qual ifications within days! 24 hours a day 7 days a week! Confidentiality assured! Please call: 1-206-984-2 185 Calls returned promptly Do as I say, and not as I do Be first at the feast, and last at the fight Curiosity killed the cat. Only when all contribute their firewood can they build up a strong fire Don't count your chickens before they're hatched . Take a hair of the dog that bit you Faint heart never won fair lady A bad penny always turns up. |
From: cesare <cor...@ro...> - 2006-09-19 07:39:06
|
H o t sto ck allert - This one is still climbing the stcok charts aleert -- Breaking mraket n e w s report --- V GYI. P K Companyy naame: Viison Enegry Gorup Inc. Lookup: V GYI. P K Current Priice: $.75 Expected: steadily climb for the top Breaking N e w s: Announcement by V ision Energ y G roup: Negotiations Completed on Low BTU Gas Property in Central Valley, CA Los Angeles --(Busin ess wi re)--Aug. 31, 2006--Pursuant to an agreement of July 2005 between Vi sion E nergy Gro up (Pink Sheets: VGY I) and Valley Production Inc., the seasoned Oil & Gas Production Group from Bakersfield, CA, V ision Energ y Gro up has concluded negotiations to jointly process low quality natural gas from two existing wells. A recent third party analysis of these wells gave a remaining reserve in the three production zones of almost 4 billion cubic feet of gas. This will give the project a production life of 10 years at the modest production rate of one million cubic feet per day. Further reserves of gas are anticipated in the surrounding leases after a geophysics and drilling program have been completed. The gas, which will be upgraded using Visioon Eneergy GGroup's proprietary technology and know-how, will be s old as premium grade gas into the statewide pipeline grid. The estimated capital c ost of the project is $2.0 million and will be targeted to be in production within seven months. Valley Production has among its principals and technical staff such notables of the industry as Jeff Smith and Ed LeLousis of Bakersfield, Calif. This production-oriented team will steer Visi on Ener gy Gr oup, Inc. into the selection of other suitable projects in the San Joaquin Valley, manage and operate the properties and share in the c ash be nefits on a structured incentive plan. Visio n Ener gy G roup, Inc. will bennefit from owning such projects directly or indirectly and by employing their proprietary technology to either liquefy or clean up stranded and/or flared gas from properties that can be acquired at cos ts below the normal marke t p rice. Visioon Energyy Grouup, Inc. is aware that significant reserves of low BTU gas exist in the San Joaquin Valley that can be processed into high quality gas by their systems and readily sold into the pipeline grid. About Vision Energy Corp. Vis ion En ergy Corp. offers an efficient, patented technology to generate electricity at substantial savings by using the wasted energy dissipated when high pressure gas pipelines are let down in pressure for local consumption. Up to 70% of electricity generated when using this system is produced without combustion of any fossil fuel and therefore no harmful atmospheric emissions. Thermal efficiency can exceed 100% by taking advantage of both let down energy and primary turbine waste heat (exhaust ). Watch this st ock go higher and higer Any of the above statements with respect to the future predications or goals and events may be seen as only Forward Looking and nothing else. All information inside this email pertaining to any sort of fniancial advice need to be understood as information and not advice. None of the information above can be constructed as any sort of financiial advice. This is a paid advertiseme nt. |
From: ai M. <vfj...@pe...> - 2006-02-24 17:32:53
|
washed WallStreet Alert For:EQSE,PK ++++++++++++++++++++++++++++++++ Company: EQUIPMENT & SYS ENGR (EQSE.PK) Last-Trade: .18 (Expected To SkyRocket) 52 Week High: 1.25 3 to 5 day expectation: .60+ Profit Potential: Very High +++++++++++++++++++++++++++++++++ This .18 Play Can Give you 3 to 4 times your investment! 500 can be 2,000 and 2,000 can be 8,000 very easily! Don't Miss This Baby! +++++++++++++++++++++++++++++++++ Equipment & Systems Engineering Announces New Sales to Population Service International EQSE's Relationship With World's Leading Nonprofit Social Marketing Organization Continues to Expand Each Year. Equipment and Systems Engineering, Inc., a leading manufacturerand global supplier of on-site sodium hypochlorite generation systems for water sanitation, today announced the sale of two additional Aquachlor water sanitation systems to Population Service International (PSI), the leading nonprofit social marketing organization in the world. The units will be used to provide safe drinking water for thousands in rural Myanmar, which is now one of the poorest countries in the world following the 1962 military takeover that has impeded foreign investment and economic growth. "PSI has developed into a banner client for EQSE's Aquachlor Business Unit, with the purchase of more than a dozen water sanitation systems on average each year," said Jose T. Masis, EQSE's CEO and founder. "PSI has installed these units in such developing nations as Zambia, Haiti, and Madagascar -- and continues to order additional supply on a regular basis. In fact, we are now filling a current PSI order for two more units to be installed in Afghanistan." About PSI Founded in 1970, Population Service International is the leading nonprofit social marketing organization in the world, harnessing the vitality of the private sector to address the health problems of low-income and vulnerable populations in 70 developing countries. PSI deploys commercial marketing strategies to promote healthier lifestyles and directs programs in safe water, disease prevention, nutrition, family planning and HIV/AIDS across the globe. For A Full Press Release: http://biz.yahoo.com/iw/060215/0109942.html * A Huge Promotion Will Take Please For EQSE,PK All * * Weekend, Big Results Expected! Don't Miss It! * concede remotest gringo |
From: <in...@dd...> - 2005-12-20 21:16:22
|
$B:#2s!"@?$K>!<j$J$4O"Mm$r$5$;$FD:$-$^$7$F?=$7Lu$"$j$^$;$s!#(B $B"(%$%Y%s%H!ZL)2q![$N6aF|3+:E7hDj$N$4Js9p5Z$S!"(B $B$=$l$KH<$$$^$7$F!"CK@-MM!&=w@-MM$N8BDjOH$,ITB-$7$F$$$k$?$a(B $B5^Jg0MMj$N$*CN$i$;$G8f:B$$$^$9!#(B $B"(%$%Y%s%H$O4{$K!"M=Dj8BDj?M?t$K$F3FCO0h3+:EM=Dj2q>l$r(B $B%T%C%/%"%C%W!TCK@-(B13$BL>MM!&=w@-(B8$BL>MM!U$N?M?tITB-$H$$$&8=>u(B $B$K$"$j$^$9!#!!Cm(B)$B3FCO0hITB-?M?t$O0[$J$j$^$9!*(B $B$D$-$^$7$F$O!"5.J}MM$K:#2s$N$40FFbFbMF$K$4F10UD:$1$kMM$G$"(B $B$l$P!ZL)2q![$K$4;22C$rD:$-$?$/!"%$%Y%s%H3+:E9pCN$H$$$&7A$G$N(B $B$4O"Mm$H$5$;$FD:$$$F$*$j$^$9!#(B $B"!$4;?F1$44uK>$O$3$A$i"-(B http://www.f-day1.net/?sex $B!ZL)2q![$N%W%m%0%i%`$O0J2<$NMM$K$J$j$^$9!#(B $B!|FH?H=w@-(B20$BBeA0H>!A(B35$B:MKx$N=w@-MMJ}$H$N8D<<$*?);v2q(B $B!JCK@-MM(B3$BL>!?=w@-MM(B4$BL>!K(B $B!|$*?);v8e(B30$BJ,4V$N%U%j!<%?%$%`@)(B $B!|CK=w(B1$BBP(B1$B$N%+%C%W%k$K@.$i$l$^$7$FJL<<$X0\F0(B $B!!:#8eMM!9$J$*LsB+$r$*<h<!$.2<$5$$!#(B $B"($3$N:]CK=w%+%C%W%k$K@.$j$=$S$l$k;v$O7h$7$FL5$$MM<jG[$r$5(B $B$;$FD:$-$^$9(B $B!|$*Aj<j=w@-MM$h$j!"#S#E#X$*Aj<j$H$7$F7@Ls@.N)$N:]$O5.J}MM(B $B!!$X$N<UNi6b$rL5>r7o$K$F$*<u$1<h$j2DG=$H$J$C$F$*$j$^$9!#(B $B!!(B $B"(5.J}MM$X$N<UNi6b$O!"=w@-MM$,5.J}MM$X46<U$N5$;}$A$GD>@\5.J}(B $BMM$X$*EO$7$9$k$N$G5.J}MM$,A43[<u$1<h$l$^$9!#(B $B:#2s>/?t?M?t8BDj$N$41~Jg$K$J$C$F$$$^$9$N$GDj0w?t$r%*!<%P!<$5(B $B$l$^$9$H$4;?F1$7$F$$$?$@$1$^$7$F$b!ZL)2q![$K$4;22CD:$1$J$$>l(B $B9g$b8f:B$$$^$9$N$GM=$a$4N;>5$/$@$5$$$^$9MM$*4j$$$$$?$7$^$9!#(B $B$=$N:]$O!ZL)2q![$HF1MM$J%$%Y%s%H$K!Z:GM%@h![$G$4;22C2DG=$J(B $B<jB3$-$r<h$i$;$F$$$?$@$-$^$9!#(B http://www.f-day1.net/?sex -------------------------------------------- $BG[?.5qH]$r4uK>$NJ}$O$3$A$i$^$G$*4j$$$7$^$9!#(B $B!!(Bs...@f-... |
From: maile B. <cl...@aa...> - 2005-10-12 22:38:05
|
Beaule Profit-Picks Alert This Week: ANDL ANDL is our hot pick this week it is a brand new public company that is making money and is on the move. So be aware of this alert and we recommend this company highly be sure to get in early. Company: Avondale Resources Corporation T1cker: ANDL . Pk Current Price: 1.00 1 Week_Target: 2.00 to 2.50 Purchase_Recommendation: Very High Avondale Resources Corporation Approved for Trading TULSA, Okla.-Avondale Resources Corporation, (Pink Sheets:ANDL ), an oil and gas exploration company headquartered in Tulsa, OK, announced today that the Company's stock was approved for trading on the Pink Sheets. The Company plans to acquire and develop oil and gas assets through a program of field evaluation, re-completions and close-in drilling. Recent acquisitions in June 2005 include an approximate 80-acre lease known as the Edds South Lease located in Montgomery County Kansas and an approximate 320-acre lease known as the East Cushing Redfork Sand Unit located in Creek County Oklahoma. The Edds South Lease consists of approximately 15 temporarily abandoned wells with equipment on them. The Company believes that methods of initial production and fluid management conveyed by past operators have left behind significant "stranded" reserves on the Edds South Lease. Plans are to re-establish production of up to 15 possible wells through a program of equipment upgrades and re-completions. The East Cushing Redfork Sand Unit has approximately 2 producing wells and approximately 10 temporarily abandoned wells. Plans for the East Cushing Redfork Sand Unit are to re-establish production of up to 10 possible wells and enhance production on existing producers. As production values increase the Company believes this lease may offer opportunity for additional wells to be drilled. About Avondale Resources Corporation: Avondale Resources Corporation is an oil and gas exploration company actively seeking to acquire and develop additional oil and gas properties in Kansas and Oklahoma. Company plans are to develop oil and gas assets through enhancement of mature fields, marginal wells and close-in drilling. Be Sure To Capitalize on ANDL Tuesday @ The Opening For Big Profits All Week With Big Gains & Returns D1scl a1mer Bel ow: Infor, mation within this email contains forwardlooking ,st,atements within the meaning of Sec. tion 2.7A of the Sec.urities Act ,of 19, 33 and Sec, tion 2 1B of the Secur,ities Exchange Act of 19, 34. Any state, ments that express or involve discussions with respect to predi, ctions, goals, expec, tations, beli. efs, plans, project. ions, objec. tives,. assu. mptions or fut. ure events or performance are not stat. ements of h. istorical fact and may be forwardloo king state, ments. In comp, liance with .Sect ion 1 7. b, we dis. cl. ose we were paid 25, 000 in ca. sh and hold no st. ock prior to the publ. ica, tion of this r, eport. Readers of this pub, lication are cautioned not to place un, due reliance on forw ardlo oking st, ateme nts , which are ba, sed on cert ain assu mptions and expec tations invo lving various ri sks and uncer, tainties, that could cause results to dif fer materi ally from those set fo rth in the for war dloo, king sta, tem ents.solicitation pudding debtor |
From: Pixel <pi...@ma...> - 2002-09-30 18:02:19
|
| - upcasting !! t -> t | A # is written t -> (t !< A) ; t |&|- upcasting !! t |&| A -> A # is written A -> A |&|- upcasting2 !! t |&| A -> t |&|-downcasting !! t -> t |&| A | -downcasting !! A | _ -> A | -downcasting2 !! A | t -> t | - upcasting := x -> x |&|- upcasting := x -> x |&|- upcasting2 := x -> x |&|-downcasting := x -> check_A(x) ; x | -downcasting := x -> check_A(x) ; x | -downcasting2 := x -> check_non_A(x) ; x I don't know if the type system will be able to achieve all this below. The non-polymorphic versions of these are ok (eg: A|&|B -> A or A|B -> A) PS: check_A = A -> () _ -> raise("check_A") check_non_A = A -> raise("check_non_A") _ -> () |
From: Pixel <pi...@ma...> - 2002-09-30 17:16:25
|
id !! x -> x id := x -> x to_A1 !! A -> A to_A1 := A -> A to_A2 !! A -> A to_A2 := x -> x to_A3 !! x -> (x !< A) ; x to_A3 := x -> x v v.to_A1 v.to_A2 v.to_A3 v.id value A A A A A type A A A A A value A |&| B A A |&| B A |&| B A |&| B type A A A A A value A |&| B A A |&| B A |&| B A |&| B type A |&| B A A A |&| B A |&| B value B _ _ _ B type B error error error B - "to_A2", "to_A3" and "id" are semantically equivalent at runtime - "to_A1" and "to_A2" have the same type, but not the same semantic |
From: Pixel <pi...@ma...> - 2002-09-30 17:13:49
|
Yoann Padioleau <Yoa...@ir...> writes: > 1 nothing understood yes, i wanted something better, but in fact it will come in another mail > 2 t'as une typo sur http://merd.net/types.html > la syntax pour subtype et supertype est la meme fixed. |
From: Yoann P. <Yoa...@ir...> - 2002-09-30 17:05:47
|
Yoann Padioleau <Yoa...@ir...> writes: > Pixel <pi...@ma...> writes: > > > 1 rien compris > 2 t'as une type sur http://merd.net/types.html > la syntax pour subtype et supertype est la meme euh c typo que je voulais dire :) 2 t'as une typo sur http://merd.net/types.html > > > > I just finished Types and Programming Languages from > > http://www.cis.upenn.edu/~bcpierce/tapl/. > > > > The last chapter is quite interesting. B.Pierce did include an > > invariant tag in its records. I asked him why and he told me it was > > needed to have the rule working: in the book > > > > R subtype of { x : int } > > > > doesn't type *syntactically* imply to R is of { x : int ; ... }. > > otherwise the rule could be simpler. Anyway, i've added > > http://merd.net/types.html merd version of the examples. > > Here is a typical polymorphic functional update: > > > > translate(, n) := X(x) |&| p -> X(x+n) |&| p > > > > (non sugared! some sugar may come) > > > > the ocaml version would be > > > > method translate n = {< x = x + n >} > > > > > > PS: some more about this in another mail > > > > > > ------------------------------------------------------- > > This sf.net email is sponsored by:ThinkGeek > > Welcome to geek heaven. > > http://thinkgeek.com/sf > > _______________________________________________ > > Merd-devel mailing list > > Mer...@li... > > https://lists.sourceforge.net/lists/listinfo/merd-devel > > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____** |
From: Yoann P. <Yoa...@ir...> - 2002-09-30 17:00:30
|
Pixel <pi...@ma...> writes: 1 rien compris 2 t'as une type sur http://merd.net/types.html la syntax pour subtype et supertype est la meme > I just finished Types and Programming Languages from > http://www.cis.upenn.edu/~bcpierce/tapl/. > > The last chapter is quite interesting. B.Pierce did include an > invariant tag in its records. I asked him why and he told me it was > needed to have the rule working: in the book > > R subtype of { x : int } > > doesn't type *syntactically* imply to R is of { x : int ; ... }. > otherwise the rule could be simpler. Anyway, i've added > http://merd.net/types.html merd version of the examples. > Here is a typical polymorphic functional update: > > translate(, n) := X(x) |&| p -> X(x+n) |&| p > > (non sugared! some sugar may come) > > the ocaml version would be > > method translate n = {< x = x + n >} > > > PS: some more about this in another mail > > > ------------------------------------------------------- > This sf.net email is sponsored by:ThinkGeek > Welcome to geek heaven. > http://thinkgeek.com/sf > _______________________________________________ > Merd-devel mailing list > Mer...@li... > https://lists.sourceforge.net/lists/listinfo/merd-devel > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____** |
From: Pixel <pi...@ma...> - 2002-09-30 16:47:01
|
I just finished Types and Programming Languages from http://www.cis.upenn.edu/~bcpierce/tapl/. The last chapter is quite interesting. B.Pierce did include an invariant tag in its records. I asked him why and he told me it was needed to have the rule working: in the book R subtype of { x : int } doesn't type *syntactically* imply to R is of { x : int ; ... }. otherwise the rule could be simpler. Anyway, i've added http://merd.net/types.html merd version of the examples. Here is a typical polymorphic functional update: translate(, n) := X(x) |&| p -> X(x+n) |&| p (non sugared! some sugar may come) the ocaml version would be method translate n = {< x = x + n >} PS: some more about this in another mail |
From: Pixel <pi...@ma...> - 2002-09-23 18:46:01
|
"Tommy Olesen" <to...@so...> writes: > > soundness i don't know yet. Maybe some things will have to rely on > > runtime checks a la Java. Hopefully it will happen only in weird > > cases. > > This was the compromise I was willing to take too, when I was > looking at this last (though I would perhaps prefer to force > the user to write the type check in the code rather than insert > it automatically, e.g., > > x : bool | int (sorry, it has been a while since I read about > merd, so I have forgotten the syntax) > y : int = cast<int>(x) + 42 for this example, this is a down-cast, and must be explicit. one day it could be: dynamic_cast(t) = (x !! t) -> x _ -> raise(Dynamic_cast) #=> dynamic_cast !! t -> x -> x !> Val(t); Val(t) to_Uint = dynamic_cast(Uint) #=> to_Uint !! x -> x !> Uint ; Uint though i'm not sure about the syntax of (x !! t) yet > > This way the user knows where he is paying a run-time cost). > > > Since the goal is not performance (well Perl/Python/Ruby performance > > is targeted), keeping many tags at runtime is no big deal. > > I agree. > > > > I saw some of your code (did not read it in detail). Have you > > > considered writing some type inference rules for the type system? > > > > you mean a more formal version than what's done in the code? Well not > > yet. The type inference rules are much based on the > > make-it-work-as-expected goal. I hope to consolidate things in the > > code, since currently they are many duplicated rewriting rules. > > Well, I suppose there is nothing more formal than code :-) Inference > rules give you a way of specifying what the rules should do and thus > some hope of finding bugs in the code, but of course it only shifts > the problem to the specification: how do you ensure there are no bugs > in the inference rules? i don't :-( for example I had a(b) | a(c) ==> a(b | c) which is not true (http://merd.net/types.html#co_and_contravariance) there may be other bugs awaiting :) |
From: Yoann P. <Yoa...@ir...> - 2002-09-23 12:49:21
|
Pixel <pi...@ma...> writes: > Yoann Padioleau <Yoa...@ir...> writes: > > > why you put ocaml as not shebang aware ???? > > > > you can a file test.ml with: > > #!/usr/bin/env ocaml > > print_string "cava\n"; > > ok, funny that calling /usr/bin/ocaml directly fails whereas > "/usr/bin/ocamlrun ocaml" works... > (the kernel doesn't like chaining scripts ;p) indeed funny. in fact even #!/usr/bin/ocaml works under eshell. just use a good shell man :) > > > in fact most program can be make shebang aware quite easily; even C > > > > just do a wrapper over gcc that compile and run, > > not that easily. You need a safe temporary space for storage, which is > not always easy to achieve. > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____** |
From: Pixel <pi...@ma...> - 2002-09-23 12:36:19
|
Yoann Padioleau <Yoa...@ir...> writes: > why you put ocaml as not shebang aware ???? > > you can a file test.ml with: > #!/usr/bin/env ocaml > print_string "cava\n"; ok, funny that calling /usr/bin/ocaml directly fails whereas "/usr/bin/ocamlrun ocaml" works... (the kernel doesn't like chaining scripts ;p) > in fact most program can be make shebang aware quite easily; even C > > just do a wrapper over gcc that compile and run, not that easily. You need a safe temporary space for storage, which is not always easy to achieve. |
From: Yoann P. <Yoa...@ir...> - 2002-09-23 12:13:34
|
why you put ocaml as not shebang aware ???? you can a file test.ml with: #!/usr/bin/env ocaml print_string "cava\n"; it works -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____** |