#rascalmpl search results

The next #CoCoDo star is @anyahelene with #RascalMPL. Let's talk grammars! #prog18

grammarware's tweet image. The next #CoCoDo star is @anyahelene with #RascalMPL. Let's talk grammars! #prog18

At #fse18 @andrzejwasowski talks about model transformation languages vs general purpose languages. ⁦@jurgenvinju⁩, notice the #rascalmpl logo

aserebrenik's tweet image. At #fse18 @andrzejwasowski talks about model transformation languages vs general purpose languages. ⁦@jurgenvinju⁩, notice the #rascalmpl logo

At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.

grammarware's tweet image. At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.
grammarware's tweet image. At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.

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…

grammarware's tweet image. 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…
grammarware's tweet image. 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…

@anyahelene #rascalmpl Wow, it is a Rascal BEE? I always assumed it was a wasp!

annam_ei's tweet image. @anyahelene #rascalmpl Wow, it is a Rascal BEE? I always assumed it was a wasp!

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...

anyahelene's tweet image. 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

rvrozen's tweet image. Don't panic. 42 is the impressive number of PhDs whose promotor is @PaulKlint. Clearly this is an ongoing adventure in metaprogramming! #RascalMPL

Concrete syntax with black box parsers. #rascalmpl #prog19

tvdstorm's tweet image. Concrete syntax with black box parsers. #rascalmpl #prog19

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

tvdstorm's tweet image. 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

tvdstorm's tweet image. 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

tvdstorm's tweet image. 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…

Blockstream's tweet image. 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

tvdstorm's tweet image. 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...



No results for "#rascalmpl"

The next #CoCoDo star is @anyahelene with #RascalMPL. Let's talk grammars! #prog18

grammarware's tweet image. The next #CoCoDo star is @anyahelene with #RascalMPL. Let's talk grammars! #prog18

At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.

grammarware's tweet image. At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.
grammarware's tweet image. At #PLNL18, @PaulKlint takes us on a long multipart journey from #RascalMPL to JVM bytecode.

The new #RascalMPL testing framework (the one without red squigglies) does not scale to my expectations...

grammarware's tweet image. 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

grammarware's tweet image. 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…

grammarware's tweet image. 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.

jurgenvinju's tweet image. #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…

grammarware's tweet image. 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…
grammarware's tweet image. 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…

@anyahelene #rascalmpl Wow, it is a Rascal BEE? I always assumed it was a wasp!

annam_ei's tweet image. @anyahelene #rascalmpl Wow, it is a Rascal BEE? I always assumed it was a wasp!

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...

anyahelene's tweet image. 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


Concrete syntax with black box parsers. #rascalmpl #prog19

tvdstorm's tweet image. Concrete syntax with black box parsers. #rascalmpl #prog19

At #fse18 @andrzejwasowski talks about model transformation languages vs general purpose languages. ⁦@jurgenvinju⁩, notice the #rascalmpl logo

aserebrenik's tweet image. 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.

tvdstorm's tweet image. 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

tvdstorm's tweet image. 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

rvrozen's tweet image. 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

tvdstorm's tweet image. 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

In honor of @PaulKlint and the other Rascal compiler engineers: bootstrapping t-shirts. #rascalmpl

tvdstorm's tweet image. In honor of @PaulKlint and the other Rascal compiler engineers: bootstrapping t-shirts. #rascalmpl

Loading...

Something went wrong.


Something went wrong.


United States Trends