#rascalmpl search results
At #fse18 @andrzejwasowski talks about model transformation languages vs general purpose languages. @jurgenvinju, notice the #rascalmpl logo
Ok, I ended up with two textual slides as well, and there they are for the fans. What followed them turned into a two hour long #rascalmpl coding session…
Hmmm, Wonder Woman or Darth Vader for my #rascalmpl session at @programmingconf #cocodo18 tomorrow? As a scientist, one has to make some pretty tough choices...
Don't panic. 42 is the impressive number of PhDs whose promotor is @PaulKlint. Clearly this is an ongoing adventure in metaprogramming! #RascalMPL
On behalf of @jurgenvinju and @PaulKlint, and myself, honored to have received the most influential paper award for the #scam09 paper on Rascal! #rascalmpl #scam19 rascal-mpl.org
About to give a seminar talk with the @CWInl SWAT group on Concrete Redex, my Rascal-based tool for reduction semantics with evaluation contexts. It's like @racketlang's Redex, but with concrete syntax! 🙌😄 #rascalmpl
Accidentally stumbled upon the possibility of this #codepoem in Rascal #rascalmpl #meaningless #nonambiguous
A list of pretty unique #programminglanguage features of #rascalmpl; this is to advertise the language to a wider audience than before. Rascal has cool features which are smoothly integrated into a consistent whole, IMHO :-)
🧩Syntax definition is the backbone of any programming language. In my #RascalMPL code, I’ve defined a robust and flexible syntax that can adapt to various use cases. #Programming
#rascalmpl VScode Language Workbench (LSP server and LSP server generator) v0.2.0 released just in time for the demo today at @strumenta marketplace.visualstudio.com/items?itemName… ^hat tip to @DavyLandman @rodinaarssen @PaulKlint @tvdstorm
It was surprise to see the #coq theorem prover here. But at least I’ve expected, that it should finally appear somewhere in smart-contract verification. Eagerly awaiting tools like #RascalMPL for their sunrise as well
Announcing the public code repository for Simplicity! The Simplicity programming language aims to provide flexibility & expressiveness for computations, while allowing verification of the safety, security, & costs of #blockchain-based #smartcontracts. ✅⛓️ blockstream.com/2018/11/28/sim…
Yes for several languages, but including context free grammars. The nonterminals and literals are types and regular expressions are type combinators, parsing is type-checking. Some minor wiring necessary for antiquotes. That's it. #rascalmpl #asfsdf
#rascalmpl is a programming language that does not require you to write equals, hashCode or toString methods for datatypes because those are built-into the language. And they satisfy a few rather special contracts.
This is cultural/educational. Are you schooled in the smalltalk sense of OO it can be the opposite from if you came from procedural and "taught yourself" OO. The asymmetry of the receiver is one of the reasons we didn't add objects to #rascalmpl.
🧩Syntax definition is the backbone of any programming language. In my #RascalMPL code, I’ve defined a robust and flexible syntax that can adapt to various use cases. #Programming
YT is liking this definition of the transitive reduction of a graph in #Rascalmpl: github.com/usethesource/r… Idea by Aho and Ullman 1973 (!) If the implementation has a bug, pls let me know? So far so good..
Accidentally stumbled upon the possibility of this #codepoem in Rascal #rascalmpl #meaningless #nonambiguous
There are 3 new functions for sampling elements from sets (relations), lists, and maps in #rascalmpl standard library: github.com/usethesource/r… #lazyweb Tell me what's wrong with them? Is this a reasonable way to sample collections? Are there any probabilistic pitfalls?
It's perhaps the simplicity of "mutable" local variables that is missing from FPLs. We can have local variables in language that has immutable data. The combo works very well IMHO, especially for accumulation with generic traversal and lexically scoped backtracking #rascalmpl
Dear #lazyweb, is there any other PL out there that has Quickcheck built-in as a language feature like #rascalmpl has?
Today at @TNO_Research ESI Damien Decampos presented ada-air, a #rascalmpl frontend library for Ada analysis based on @AdaCoreCompany 's #libadalang github.com/cwi-swat/ada-a… a collaboration between @CWInl and @TNO_Research ESI
So in the #Rascalmpl project we embed example code into the documentation to make sure the docs "are code", which motivates us to fix it and also makes the docs better for readers. Currently rewriting the doc Compiler for docusaurus output (was as ASCII doctor before).
In #rascalmpl there is no "object-relational mapper" that bridges a "impedance mismatch" because relations are a built-in general programming construct. To query is to program and to program is to query. Query syntax is comprehensions plus relational calculus.
Same here. Giving a talk on Thursday on how it could be different by scripting more ad-hoc analysis, visualization and other maintenance tasks (like refactoring) using #rascalmpl; getting unstuck with maintenance is fun!
A list of pretty unique #programminglanguage features of #rascalmpl; this is to advertise the language to a wider audience than before. Rascal has cool features which are smoothly integrated into a consistent whole, IMHO :-)
@jurgenvinju I have a Java codebase & I need to keep an eye on the values of some enums. I was about to write a quick and dirty Python script to pull these out and just list Enum1 (A,B,C) Enum2 (xx,yy,zz) etc. But it occurred to me that this might be a job for #rascalmpl \1
I did a live demo of querying "code as data" with #rascalmpl and that seemed to connect rather well given the interaction during and after the talk. Some people from sister schools in France and Portugal also joined in (and chimed in).
#rascalmpl is a programming language that does not require you to write equals, hashCode or toString methods for datatypes because those are built-into the language. And they satisfy a few rather special contracts.
Yes for several languages, but including context free grammars. The nonterminals and literals are types and regular expressions are type combinators, parsing is type-checking. Some minor wiring necessary for antiquotes. That's it. #rascalmpl #asfsdf
#rascalmpl VScode Language Workbench (LSP server and LSP server generator) v0.2.0 released just in time for the demo today at @strumenta marketplace.visualstudio.com/items?itemName… ^hat tip to @DavyLandman @rodinaarssen @PaulKlint @tvdstorm
Nice thread on an under-appreciated language feature #rascalmpl
Something I learned at the age of 17, in an ASF+SDF masterclass, so I keep forgetting it is not a common programming skill: `list matching`! a very nice programming language feature. a thread...
The new #RascalMPL testing framework (the one without red squigglies) does not scale to my expectations...
The ultimate colour guide to @ category = "…" annotations in #RascalMPL grammars. cc @PaulKlint @jurgenvinju @tvdstorm
Dining alone in a fancy restaurant after a hard day's work showing my compiler to the customer. Everyone thinks I'm just staring into the wall, while actually I'm composing complex #rascalmpl metaprograms in my head…
#rascalmpl compiler is bootstrapped! #party @CWInl, by @PaulKlint, Ferry Rietveld, @IAnastassija, @hillsma et al.
Ok, I ended up with two textual slides as well, and there they are for the fans. What followed them turned into a two hour long #rascalmpl coding session…
Hmmm, Wonder Woman or Darth Vader for my #rascalmpl session at @programmingconf #cocodo18 tomorrow? As a scientist, one has to make some pretty tough choices...
Sneak preview of new Rascal IDE feature: live scrapbooks! /w @jstoel @DavyLandman #rascalmpl #liveprogramming
At #fse18 @andrzejwasowski talks about model transformation languages vs general purpose languages. @jurgenvinju, notice the #rascalmpl logo
Forgot to bring them with me, but @jurgenvinju ordered some cool #rascalmpl metaprogramming stickers.
This is what an Ecore Meta Model for a simple state machine language looks like as a Rascal value. #rascalmpl #ecore
Don't panic. 42 is the impressive number of PhDs whose promotor is @PaulKlint. Clearly this is an ongoing adventure in metaprogramming! #RascalMPL
On behalf of @jurgenvinju and @PaulKlint, and myself, honored to have received the most influential paper award for the #scam09 paper on Rascal! #rascalmpl #scam19 rascal-mpl.org
Something went wrong.
Something went wrong.
United States Trends
- 1. Clemson 10.5K posts
- 2. Draymond 6,378 posts
- 3. Steph 36.3K posts
- 4. Wemby 14.8K posts
- 5. #SmackDown 46.4K posts
- 6. Zack Ryder 14.1K posts
- 7. Dabo 1,872 posts
- 8. Landry Shamet 5,233 posts
- 9. Brohm 1,447 posts
- 10. Harden 10.5K posts
- 11. #OPLive 2,400 posts
- 12. Matt Cardona 2,623 posts
- 13. Miller Moss N/A
- 14. #CLAWMARK3D 33.8K posts
- 15. Marjorie Taylor Greene 37.3K posts
- 16. #Isles 2,337 posts
- 17. Will Richard 4,652 posts
- 18. #BostonBlue 2,533 posts
- 19. Massie 47K posts
- 20. Jaden Bradley N/A