繁體中文
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#metaprogramming 搜尋結果

tomas_mikula's profile picture. Into functional programming. Lifelong learner.
Tomas Mikula
 @tomas_mikula
年3月1日

Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI

tomas_mikula's tweet image. Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
tomas_mikula's tweet image. Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
tomas_mikula's tweet image. Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
tomas_mikula's tweet image. Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
3
16
85
30
7千
ttldtor's profile picture. 🏴🐈‍⬛🍷🍺🎨🎧🎞️⌨️⚙️🧬⚗️
ttldtor
 @ttldtor
年9月19日

#c #metaprogramming An attempt at metaprogramming in C using `_Generic` and `typeof`. I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun. gist.github.com/ttldtor/759be9…

ttldtor's tweet image. #c #metaprogramming An attempt at metaprogramming in C using `_Generic` and `typeof`. I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun. gist.github.com/ttldtor/759be9…
ttldtor's tweet image. #c #metaprogramming An attempt at metaprogramming in C using `_Generic` and `typeof`. I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun. gist.github.com/ttldtor/759be9…
ttldtor's tweet image. #c #metaprogramming An attempt at metaprogramming in C using `_Generic` and `typeof`. I managed to successfully do some work with function "signatures." Otherwise, it was just a bit of fun. gist.github.com/ttldtor/759be9…
2
0
1
2
580
leanprover's profile picture. Lean is a dependently-typed programming language and theorem prover.
Lean
@leanprover
年6月30日

Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting

leanprover's tweet image. Really enjoyed this talk by Harry Goldstein that demonstrates inventive uses of the #LeanLang InfoView enhanced by metaprogramming techniques to display real-time testing data. #LeanProver #Metaprogramming #VSCode #PropertyTesting
2
12
87
27
5千
leanprover's profile picture. Lean is a dependently-typed programming language and theorem prover.
Lean
@leanprover
年9月24日

We really loved this series of tutorials on #metaprogramming in #LeanLang by Heather Macbeth. It's a great intro to a complex topic for novice users of #LeanProver! Pt 1: youtube.com/watch?v=cKvgMj… Pt 2: youtube.com/watch?v=5er4yL… Pt 3: youtube.com/watch?v=TJ8Tqv…

leanprover's tweet image. We really loved this series of tutorials on #metaprogramming in #LeanLang by Heather Macbeth. It's a great intro to a complex topic for novice users of #LeanProver! Pt 1: youtube.com/watch?v=cKvgMj… Pt 2: youtube.com/watch?v=5er4yL… Pt 3: youtube.com/watch?v=TJ8Tqv…
6
44
216
161
18千
MuckyTaters's profile picture. Hobbyist game dev, C++/SDL2, browser games in JS, pixel art. https://t.co/N3wxSrShAq. Also into early RPGs and bad movies. 🚫 NO DMs.
MuckyTaters (github.com/MuckyTaters)
 @MuckyTaters
2023年10月24日

Building a quad tree for #MuckyVision sprite collisions got me thinking on pros/cons of #metaprogramming (minimal example below). Pros: succinct code, tree builds at compile time. Cons: Bloated executable, some runtime delay (copying tree to heap?). Maybe 'can'≠'should'?🤔

MuckyTaters's tweet image. Building a quad tree for #MuckyVision sprite collisions got me thinking on pros/cons of #metaprogramming (minimal example below). Pros: succinct code, tree builds at compile time. Cons: Bloated executable, some runtime delay (copying tree to heap?). Maybe 'can'≠'should'?🤔
0
0
0
0
66
guatejug's profile picture. ☕🇬🇹 Grupo de Usuarios de Java en Guatemala (Guate-JUG). Programadores y fanáticos de tecnologías Java.
Java Guatemala
 @guatejug
年11月15日

Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025 #MetaProgramming #Java #JConf #JConfGt2025

guatejug's tweet image. Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025 #MetaProgramming #Java #JConf #JConfGt2025
guatejug's tweet image. Samuel Palacios - Meta-programming en Java: Cómo escribir código que genera código, en la JConf Guatemala 2025 #MetaProgramming #Java #JConf #JConfGt2025
0
1
3
0
106
RubyCademy's profile picture. .
RubyCademy
 @RubyCademy
年6月27日

Use `define_method` to simplify repetitive methods in your classes! ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #metaprogramming

RubyCademy's tweet image. Use `define_method` to simplify repetitive methods in your classes! ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #metaprogramming
3
7
51
18
2千
zivergetech's profile picture. Brilliant solutions for innovative companies.
ziverge
@zivergetech
2023年10月15日

Learn Scala 3 Metaprogramming with @jdegoes! Explore conditional givens, singleton types, quoting, splicing, and more. Empower your #Scala development by crafting your own macros with confidence. 💪 #metaprogramming #workshop

zivergetech's tweet image. Learn Scala 3 Metaprogramming with @jdegoes! Explore conditional givens, singleton types, quoting, splicing, and more. Empower your #Scala development by crafting your own macros with confidence. 💪 #metaprogramming #workshop
1
6
18
1
2千
galtza's profile picture. Founder of QCStudio (https://t.co/k1rineOVVq), Technical Director, Ex-Sony, Ex-Ubisoft, Ex-Smilegate, Ex-Pyro. Ghost Recon, Just Dance, Commandos 2, musician, etc.
galtzagorri 🛠️
@galtza
2023年9月5日

Came out with a C++ metaprogramming technique where a macro differentiates between types and enum values. Sample output: "C" is a type "E::v1" is a numeric expression Works primarily with non-enum classes. Fascinating hack! #cplusplus #metaprogramming

galtza's tweet image. Came out with a C++ metaprogramming technique where a macro differentiates between types and enum values. Sample output: "C" is a type "E::v1" is a numeric expression Works primarily with non-enum classes. Fascinating hack! #cplusplus #metaprogramming
1
1
1
0
197
_codebeans's profile picture. Software Solutions||Company Structuring||Modern Business Solutions||Training||Onsite/Online Courses on Front-end, Back-end, Mobile dev, Web dev.
Codebeans
 @_codebeans
年8月21日

Programs that write programs? Welcome to the fascinating world of metaprogramming. #FutureOfCode #Metaprogramming #CodeNerd

_codebeans's tweet image. Programs that write programs? Welcome to the fascinating world of metaprogramming. #FutureOfCode #Metaprogramming #CodeNerd
0
1
2
0
23
jucsnews's profile picture. The Journal of Universal Computer Science is a high-quality electronic publication that deals with all aspects of computer science.
J.UCS News
 @jucsnews
年11月28日

Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer

jucsnews's tweet image. Our new J.UCS issue is out today!🎉 lib.jucs.org/issue/5178/ It features a bibliometric retrospective on 30 years of J.UCS. Plus, 5 more articles exploring #convolutionalneuralnetworks, #NLP, #metaprogramming, #anomalyprevention and #GeneticAlgorithms.🌍✨Photo: Christian Trummer
0
1
0
0
18
RubyCademy's profile picture. .
RubyCademy
 @RubyCademy
2024年7月27日

✨ RAILS PRO TIPS ✨ Use define_method to simplify repetitive methods in your classes ✨💫 ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #metaprogramming

RubyCademy's tweet image. ✨ RAILS PRO TIPS ✨ Use define_method to simplify repetitive methods in your classes ✨💫 ⚠️ Metaprogramming can obscure your code, so use it sparingly and wisely! #rubyonrails #metaprogramming
1
4
61
24
3千
zivergetech's profile picture. Brilliant solutions for innovative companies.
ziverge
@zivergetech
2023年10月19日

Only a few days left until the Scala 3 #Metaprogramming workshop with @jdegoes! ⏰ Explore quoting, splicing, type-level metadata, and support for type class derivation. Implement your own Scala 3 macros with confidence and secure your spot before it's too late! 💪 ➡️…

zivergetech's tweet image. Only a few days left until the Scala 3 #Metaprogramming workshop with @jdegoes! ⏰ Explore quoting, splicing, type-level metadata, and support for type class derivation. Implement your own Scala 3 macros with confidence and secure your spot before it's too late! 💪 ➡️…
0
3
7
0
897
RubyCademy's profile picture. .
RubyCademy
 @RubyCademy
2024年12月1日

An interesting example of Rails using metaprogramming in view rendering! 💚 #rubyonrails #metaprogramming

RubyCademy's tweet image. An interesting example of Rails using metaprogramming in view rendering! 💚 #rubyonrails #metaprogramming
0
5
38
21
2千
zivergetech's profile picture. Brilliant solutions for innovative companies.
ziverge
@zivergetech
2023年9月2日

Build your own macros using Scala 3 Metaprogramming! Join the online workshop guided by @jdegoes, and dive into conditional givens, quoting, splicing, and more advanced metaprogramming topics. #Scala #metaprogramming Book your spot: eventbrite.com/e/learn-scala-…

zivergetech's tweet image. Build your own macros using Scala 3 Metaprogramming! Join the online workshop guided by @jdegoes, and dive into conditional givens, quoting, splicing, and more advanced metaprogramming topics. #Scala #metaprogramming Book your spot: eventbrite.com/e/learn-scala-…
0
1
13
1
736
filemon_279's profile picture. Full-stack Software Developer with Scala at @TouK_pl Senior Product Engineer at @Nussknacker_io
Filip Michalski
 @filemon_279
2023年11月16日

While working on some #Scala3 #Metaprogramming, the harsh reality hit: IDEA fell short, unable to assist me further, sometimes even with basic completions. 😐 I've worked with @scalameta before, but it saved my life this time. Great job, guys! 👍

filemon_279's tweet image. While working on some #Scala3 #Metaprogramming, the harsh reality hit: IDEA fell short, unable to assist me further, sometimes even with basic completions. 😐 I've worked with @scalameta before, but it saved my life this time. Great job, guys! 👍
0
0
1
0
66
未找到 "#metaprogramming" 的結果
未找到 "#metaprogramming" 的結果
未找到 "#metaprogramming" 的結果

Something went wrong.


Something went wrong.


United States Trends